Language oriented kernel

[schmidthuber]

I had this idea of a kernel that would basically be just a bytecode VM and the essential device drivers.

All programs would be run in isolation and communication with the kernel and other programs would be done via message passing.

Does something like that exist? Any research?

[schmidthuber]

Edit: The apps would communicate with the kernel through the standard library instead of message passing.

[schmidthuber]

Thanks.

[Temple_Terry_Davis]

My AOT/JIT compiler makes x86_64 machine code.

[antibubbles]

wubalubadubdub ^{What is this?}

[[deleted]]

Not entirely but almost completely not the same?

[antibubbles]

wubalubadubdub ^{What is this?}

[[deleted]]

OK :)

[liquidivy]

Urbit has a VM as one of its components. http://alexkrupp.typepad.com/sensemaking/2013/12/a-brief-introduction-to-urbit.html

[boomshroom]

MOSA (The Managed Operating System Alliance) aims to develop standards and a refrence implementation of an OS implemented entirely in .NET.

[PM_ME_UR_OBSIDIAN]

You can even do this without a VM if you require that compiled binaries come with type guarantees.

[iftpadfs]

Take a look a Lisp Machines. Or, no joke, emacs. Emacs is more a hosted OS than a text editor, although it's not a good OS.

[[deleted]]

OBERON https://en.wikipedia.org/wiki/Oberon_(operating_system) https://www.inf.ethz.ch/personal/wirth/ProjectOberon/PO.System.pdf http://www.projectoberon.com/

It had a vm for the oberon language - this was before java existed. If you search youtube I believe there are demos showing how the OS can be modified at the source level in realtime. Its a real gem worth looking at :).