26 Feb
2015
26 Feb
'15
3:06 a.m.
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
4045
Age (days ago)
4046
Last active (days ago)
2 comments
2 participants
participants (2)
-
Joel Nider -
Peter Chubb