Bit embarrassing that it was so large for so long. I feel like 1M is still a bit large, although nothing jumped out at me when I looked at the symbol list so maybe it's fine. Don't be discouraged from more poking though. Adrian On Tue 06-Dec-2016 9:24 AM, Jeff Waugh wrote: Hurrah, I was curious about the huge kernel images, and had it on my list to poke at. Adrian's changes merged last night sorted it: x86: Explicitly declare adress of .phys.bss x86: Add BSS regions for BOOT and PHYS code Simulation debug x86_64 image is down from 7.1M to 1.1M. That's more like it! Nice! :-) Thanks, Jeff _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel