[seL4] ifc6410 loading instructions
joel at nider.org
Thu Feb 26 03:06:15 EST 2015
I'm trying to follow the instructions for loading the test image for ifc6410 on this page:
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Devel