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.hu<mailto: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.systems<mailto: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.