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.