On 2/16/24 18:01, Peter Chubb via Devel wrote: >>>>>> "Bob" == Bob Trower <btro...@gmail.com> 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) _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
