On 18 Feb 2024, at 03:49, Demi Marie Obenour <demioben...@gmail.com> wrote:
On 2/16/24 18:01, Peter Chubb via Devel wrote: 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? That might be possible. Almost everything it downloads is via apt-install already. I've opened an issue for it. Cheers, Gerwin _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
