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 <buday.gergely@uni-eszterhazy.humailto:buday.gergely@uni-eszterhazy.hu> 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 Devel@sel4.systemsmailto:Devel@sel4.systems 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.