Can someone please give me a detailed description of how the boot_args structure comes into the IFS? Startup library source code (_main.c) says that mkifs fills it in, is that hard-coded or is mkifs grabbing some pre-compiled code snippets from disk? Where from? What is the location of the boot_args object in the image? Many thanks!