>>>>> "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. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
