Subject: Re: verified executable kernel modification committed
To: Brett Lymn <blymn@baesystems.com.au>
From: Ceri Storey <cez@mrtall.compsoc.man.ac.uk>
List: current-users
Date: 10/29/2002 15:40:55
On Wed, Oct 30, 2002 at 01:10:11AM +1030, Brett Lymn wrote:
> 
> Folks,
>         First off let me say a big thanks to the people who told me
> this crazy idea was good.  Especially thanks to Jason R Fink for doing
> the hard yards and helping me out in thrashing this into the shape it
> is currently in.  I feel this code is ready enough to be useful but
> there are some aspects that can be improved on.
> [snip]

Is there an outline of any future work that is planned on this? I'm
doing a similar thing for my C.S. degree project, and was hoping to
avoid re-inventing any wheels if I can avoid it.

Cheers
-- 
Ceri Storey <cez@compsoc.man.ac.uk>