2 ms·
the master branch of sel4 is always passing verification, for the verified platform: armv7-a on a Sabre Lite. the x86_64 verification is coming out soon accord
by cmrx64 10y ago
the master branch of sel4 is always passing verification, for the verified platform: armv7-a on a Sabre Lite.
the x86_64 verification is coming out soon according to the roadmap.