[seL4] Re: interested in participating in a survey on seL4 website and docsite structure next week?

On 2/16/24 18:01, Peter Chubb via Devel wrote:

...

...

...

...

...

"Bob" == Bob Trower writes: Bob> I would like to be able to go to the main page, click on a Bob> download button, download a pre-built VM, under something dead Bob> simple like VirtualBox, log in and build code.

It's not _quite_ as simple as that, but did you try the Docker instructions at https://docs.sel4.systems/projects/dockerfiles/ ?

The Docker container has all the dependencies for seL4test and most CAmkES projects; and there's a simple workflow described for getting at both the source you want to work on (using whatever tools you want) and a compilation environment.

Using the Microkit is a different matter; and one we're still working on.

Would it be possible to ensure that the container images are signed and that their builds verify either the signatures or hashes of everything they download? -- Sincerely, Demi Marie Obenour (she/her/hers)