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.systems
https://sel4.systems/lists/listinfo/devel