From dfea95b3c29ef4a6de2713a946453d3a022ae0b4 Mon Sep 17 00:00:00 2001 From: cinap_lenrek Date: Thu, 25 Jul 2019 08:52:46 +0200 Subject: bcm64: strip debug symbols to make sure .img file is multiple of 4 bytes the raspberry pi4 firmware refuses to enable the GIC interrup controller for arm64 when the .img file is not a multiple of 4 bytes. yes, this is insane and nowhere documented. --- sys/src/9/bcm64/mkfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/src/9/bcm64/mkfile b/sys/src/9/bcm64/mkfile index 151c7e898..7ab167643 100644 --- a/sys/src/9/bcm64/mkfile +++ b/sys/src/9/bcm64/mkfile @@ -72,7 +72,7 @@ LIB=\ $p$CONF:DQ: $CONF.c $OBJ $LIB mkfile $CC $CFLAGS '-DKERNDATE='`{date -n} $CONF.c echo '# linking raw kernel' # H6: no headers, data segment aligned - $LD -l -o $target -H6 -R0x10000 -T$loadaddr $OBJ $CONF.$O $LIB + $LD -s -l -o $target -H6 -R0x10000 -T$loadaddr $OBJ $CONF.$O $LIB s$p$CONF:DQ: $CONF.$O $OBJ $LIB echo '# linking kernel with symbols' -- cgit v1.2.3