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