[seL4] ifc6410 loading instructions

Joel Nider joel at nider.org
Thu Feb 26 20:44:06 EST 2015


Makes sense. Thanks Peter. 

Joel

On Thu, 26 Feb 2015 08:06:49 +1100, Peter Chubb 
<peter.chubb at nicta.com.au> wrote:
>>>>> "Joel" == Joel Nider <joel at nider.org> writes:
>
> Joel> Hi,
>
> Joel> I'm trying to follow the instructions for loading the test image
> Joel> for ifc6410 on this page: http://sel4.systems/Hardware/IFC6410/
>
> Joel> I'm not clear about the second instruction "> ramdisk".  It
> Joel> looks to me like this is a redirection with some missing
> Joel> parts. Can you please help me fill in the blanks?
>
>
> That's correct -- an empty redirection creates a zero-length file,
> which is what we want here. 
>
> The seL4test bundle doesn't need a ramdisk, but the bootimage has to
> have one in it. So we create an empty file and use it. 
>
> -- Dr Peter Chubb peter.chubb AT nicta.com.au
> http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA
>
>

 




More information about the Devel mailing list