From 1312235319486dbc00eafba2e4b4d18ddc9bfa24 Mon Sep 17 00:00:00 2001
From: Joursoir <chat@joursoir.net>
Date: Thu, 7 Oct 2021 20:37:48 +0000
Subject: make: print a size of the compiled kernel

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 75a159a..bd50bdd 100644
--- a/Makefile
+++ b/Makefile
@@ -37,6 +37,7 @@ $(KERNBIN): $(ARCH_BOOT)/head.o $(OBJECTS)
 	$(CC) -Wl,--oformat binary -Ttext 0x1000 -o $@ \
 		-ffreestanding -nostdlib \
 		$^ -lgcc
+	printf "Kernel size: 0x%x\n" `stat -c "%s" $@`
 
 %.o: %.s
 	$(AS) $< -o $@
-- 
cgit v1.2.3-18-g5258