6 Dec
2016
6 Dec
'16
10:24 a.m.
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