12 Jul
2016
12 Jul
'16
6:16 p.m.
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