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