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