Re: [seL4] ifc6410 loading instructions

...

...

...

...

"Joel" == Joel Nider writes:

Joel> Hi, Joel> I'm trying to follow the instructions for loading the test image Joel> for ifc6410 on this page: http://sel4.systems/Hardware/IFC6410/ Joel> I'm not clear about the second instruction "> ramdisk".  It Joel> looks to me like this is a redirection with some missing Joel> parts. Can you please help me fill in the blanks? That's correct -- an empty redirection creates a zero-length file, which is what we want here. The seL4test bundle doesn't need a ramdisk, but the bootimage has to have one in it. So we create an empty file and use it. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA