[seL4] ifc6410 loading instructions

Joel Nider joel at nider.org
Thu Feb 26 03:06:15 EST 2015


Hi,

I'm trying to follow the instructions for loading the test image for ifc6410 on this page:
http://sel4.systems/Hardware/IFC6410/

I'm not clear about the second instruction "> ramdisk".  It looks to me like this is a redirection with some missing parts. Can you please help me fill in the blanks?

Thanks,
Joel

 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20150225/4caf635d/attachment.html>


More information about the Devel mailing list