Hi Gergely, for the hardware and software dependencies for the proofs see https://github.com/seL4/l4v/blob/master/README.md
32G of RAM is sufficient and what we usually use here locally. 20G disk should also be enough. Processor: anything works, really, it’s a question of how long you want to wait. The whole stack takes about 6h on a not too old quad-core i7, but if you’re developing you’re rarely building the whole stack. Cheers, Gerwin On 12 Jul 2016, at 18:16, Gergely Buday <[email protected]<mailto:[email protected]>> wrote: Hi, what are the requirements for running the whole sel4 verification proof? Is 32G RAM and 20G disk space enough? How about the processor needs? I guess what is enough in batch mode will be enough for interactive development. - Gergely _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
