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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
