Thanks for the reply. By using the VM, ssh'ing inside and use the links you
provided, I can use sel4 and reproduce the camkes and other tutorials.
Thanks again for your quick and nice reply, greatly appreciated!
Julien.
On Tue, Dec 22, 2015 at 6:59 PM, Ihor Kuz wrote:
> Hi,
>
> The head of th
Hi,
The head of the tutorial hasn’t been updated to match the seL4 kernel and
library changes yet (it’s coming though).
In the meantime you can use manifest snapshots that reflect the state of the
tutorials and system when the developer days were held. Look at:
https://github.com/seL4
