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