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> 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
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.