Messages in this thread | | | Date | Tue, 1 Sep 1998 15:36:39 +0100 | From | Jamie Lokier <> | Subject | Re: Virtual Machines, JVM in kernel, hot-swapped kernel |
| |
On Mon, Aug 31, 1998 at 08:14:44PM -0300, Brandon S. Allbery KF8NH wrote: > Checking whether the proof is consistent wouldn't be, but how do you verify > the proof "goes with" the code?
I did not say it was an easy problem :-)
-- Jamie
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.altern.org/andrebalsa/doc/lkml-faq.html
| |