Re: [seL4] More detailed `running on hardware' instructions

...

...

...

...

"Max" == Max R D Parmer writes:

Max> On Mon, Aug 11, 2014, at 19:04, Peter Chubb wrote: Max> The two files contributing to the diff both contain the entirety Max> of the output of the seL4 testsuite. Max> Is the direction about seL4 assuming we've booted to HYP Max> inaccurate? Naturally some of my interest does involve using HYP Max> but for merely running the test suite it didn't seem to matter. It's more for the ARM VMM that's still being worked on. seL4test with the main branch of the kernel doesn't care; but when we need to use the virtualisation extensions, it has to be there. Peter C