14 Dec
2020
14 Dec
'20
11:53 p.m.
Thanks Branden! This is really helpful. I think based on this I know that I need to get my system below my target size and account for the elf-loader as well. I see all of these details in the shoehorn.py script as you described. I also see the unpacking process in common.c of elfloader-tool. It seems like my biggest immediate gains will be in modifying the rootserver--which if I've understood this correctly is my project. In this case rootserver is a simple "Hello, world!" application. Thanks for this great response. I think I can calculate the memory map for any seL4 system built using these standard scripts now. That is very helpful to me. Jeremy