>> It's unchanged because opentitan uses the kernel.elf headers to specify
>> where to load the kernel (prior to applying the PR the SBI reservation was
>> just ignored)--which took me a while to understand :().
>>>
>>>
>>> What is the size of the kernel image footprint that you're observing?
>>
>>
>> Looks like ~130KB, likely because we have CONFIG_PRINTING + some drivers. I
>> haven't looked too closely at that # because the immediate goal is to
>> reclaim all the rootserver resources which will allow us to meet our target
>> platform constraints--and that looks doable. We likely have lots of places
>> we can trim fat (e.g. kernel config, user space optimizations, removing
>> devel facilities).
>>>
Are you able to send a dump of the kernel.elf's section and program
headers? When I do a release build of the riscv32 kernel I get a
kernel footprint of 56KiB. (One interesting thing of note is the
.boot.bss section is in the wrong place and so won't be recovered when
switching to user level):
Program Header:
LOAD off 0x00001000 vaddr 0xff800000 paddr 0x84000000 align 2**12
filesz 0x000098e8 memsz 0x0000e000 flags rwx
Sections:
Idx Name Size VMA LMA File off Algn
0 .boot.text 00001558 ff800000 84000000 00001000 2**1
CONTENTS, ALLOC, LOAD, READONLY, CODE
1 .boot.rodata 00000008 ff801558 84001558 00002558 2**2
CONTENTS, ALLOC, LOAD, READONLY, DATA
2 .text 00006b6a ff802000 84002000 00003000 2**6
CONTENTS, ALLOC, LOAD, READONLY, CODE
3 .small 000001f4 ff808b80 84008b80 00009b80 2**6
CONTENTS, ALLOC, LOAD, DATA
4 .rodata 000006b0 ff808d74 84008d74 00009d74 2**2
CONTENTS, ALLOC, LOAD, READONLY, DATA
5 ._idle_thread 00000200 ff809500 84009500 0000a500 2**8
CONTENTS, ALLOC, LOAD, DATA
6 .boot.bss 000001e8 ff809700 84009700 0000a700 2**2
CONTENTS, ALLOC, LOAD, DATA
7 .bss 00004718 ff8098e8 840098e8 0000a8e8 2**12
ALLOC
8 .riscv.attributes 0000002b 00000000 00000000 0000a8e8 2**0
CONTENTS, READONLY
9 .comment 0000000e 00000000 00000000 0000a913 2**0
CONTENTS, READONLY
>>>
>>>
>>> > -Sam
>>> > _______________________________________________
>>> > Devel mailing list -- devel@sel4.systems
>>> > To unsubscribe send an email to devel-leave@sel4.systems
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
