also: how much effort is there in verifying a particular hardware platform? For example, how much additional effort would you estimate to verify omap/beagle given that kzm is already verified?
On Mon, Aug 4, 2014 at 9:14 AM, Tim Newsham <[email protected]> wrote: > A question I had about how the sel4 project is run internally: > What is your process of developing ongoing > changes and how does verification fit into it? > Do you maintain the proofs with kernel modifications > on an ongoing basis? On a semi-regular basis? > > Is the "experimental" branch verified? > When time slices are no longer global, will those changes > be verified? > etc... > > Tim _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
