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 [email protected] https://sel4.systems/lists/listinfo/devel
