Re: Virtual Machines, JVM in kernel, hot-swapped kernel

Jamie Lokier (lkd@tantalophile.demon.co.uk)
Tue, 1 Sep 1998 15:36:39 +0100

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Cook Dan: "Array initialization in Linux Kernel"
Previous message: Jamie Lokier: "Re: patch for x86 treatment of fs and gs in signal handlers"

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

Next message: Cook Dan: "Array initialization in Linux Kernel"
Previous message: Jamie Lokier: "Re: patch for x86 treatment of fs and gs in signal handlers"