5 Aug
2014
5 Aug
'14
5:17 a.m.
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 <tim.newsham+sel4@gmail.com> 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