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
3557
Age (days ago)
3557
Last active (days ago)
1 comments
2 participants
participants (2)
-
Gergely Buday -
Gerwin Klein