a2

Which is what OSes implemented in system languages with automatic memory management usually do, it is an OS service. Oberon example, https://people.inf.ethz.ch/wirth/ProjectOberon/Sources/Kerne... Active Oberon example, https://github.com/btreut/a2/blob/master/source/GarbageColle... Bare metal Java, Go, .NET, Erlang, OCaml,... with bare metal deployments naturally have the runtime take the OS role.

https://github.com/udem-dlteam/ribbit And https://piumarta.com/software/maru/ Are two good examples. Maru is interesting in that it can implement a full-fat language/os/vm/compiler in under 2kloc Bluebottle is another barbecues and up OS: https://github.com/btreut/a2

I get the feeling that when Felix Friedrich is no longer active at ETHZ, AOS won't be having much further work. I mentioned it is hard to get, because keeping up with it requires having some background on AOS history, and even then newer ISO might only work on a VM, depending on which hardware one owns. In anycase, here are some current links for others, http://cas.inf.ethz.ch/projects/a2/activity https://github.com/btreut/a2

Because of pjmlp's hint I just looked into the repositories https://github.com/btreut/a2 and https://github.com/metacore/A2OS, but didn't find a coroutines module. I'm aware that Active Oberon (Patrik Reali, 2004) includes concurrency, but this is a different language than the one used for System 3.

"Bluebottle" is now called A2 and it's on Github now: https://github.com/btreut/a2 I've done quite a bit of editing on the Wikipedia article, including bringing stuff across from Russian Wikipedia (via Google Translate). https://en.wikipedia.org/wiki/A2_(operating_system) The most active user and development community for A2 seems to be in Russia. There's a Telegram group too but I don't speak the language so I can't follow very much of it at all.

https://github.com/apache/arrow/tree/master/format Are your in-memory formatted structures. Even better, there are libraries in many languages for accessing them. As such you can consider the data almost as an ffi between languages. Metadata can also be attached to the arrow data. As far as the rest goes, A2/bluebottle defines that standard program unit similar to COM etc, ot has an object shell similar to Oberon or powershell, so looks to be pretty much what the author is looking for. Having said that, I'd prefer an OS with managed memory but no GC as per Composita. https://github.com/btreut/a2 http://www.composita.net/Composita.html

Error handling is done the old style, you just test for error conditions and such. Generic programming and async are supported on the Active Oberon programming language in the Oberon family branch. Which also does support exception handling. Most recent version from Active Oberon http://cas.inf.ethz.ch/news/2 The A2 OS written in Active Oberon and respective documentation https://github.com/btreut/a2 Some A2 overview http://sage.com.ua/en.shtml?e1l0 While Modula-2 had co-routines and exceptions, Wirth has chosen a minimalist path with Oberon. Oberon-07 design goal has been to remove as many features as possible from original Oberon, while keeping a GC enabled systems programming language. Then you have the other path, taken by others at ETHZ, which extended Oberon into a more expressive language, namely Oberon-2, Component Pascal and Acti

Sure, You can read the Project Oberon 1992's book, sections 3.3 and 3.4 as starting point. http://www.ethoberon.ethz.ch/WirthPubl/ProjectOberon.pdf Then you can follow up with the 2003's edition. https://www.inf.ethz.ch/personal/wirth/ProjectOberon/index.h... With a stop in the last pure Oberon iteration, Oberon System 3 Gadgets. http://www.ethoberon.ethz.ch/ethoberon/tutorial/ Oberon Companion describes gadgets and tools http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.472... The existing PDF book has a couple of rendering issues, but if you install BlueBottle, it has Oberon System 3 as demo application, with the original book in Oberon rich text format (not to mix with RTF). https://www.youtube.com/watch?v=t6NMJh0noDk&index=35&list=WL... Which by the way, also describes the Tools on its manual, A2 User Guide and Application Desc

As for the OS, I assembled some links here: https://liam-on-linux.livejournal.com/46523.html This is a good overview: http://ignorethecode.net/blog/2009/04/22/oberon/ Oberon, a tiny text-oriented OS, evolved into A2, a graphical OS with a zooming UI called Bluebottle. There's some info about A2/Bluebottle here: http://sage.com.ua/en.shtml?e1l0 Here is the OS on GitHub: https://github.com/btreut/a2 There are bare-metal versions for x86 -- I am running it on a Thinkpad X200 as well as under VirtualBox -- and also versions that run hosted on Windows, 32-bit and 64-bit Linux and Mac OS X.

In addition to that, here are some other examples. Go in Fuchsia, https://fuchsia.googlesource.com/third_party/netstack/ Oberon in Oberon (network stack but not TCP/IP though) https://www.inf.ethz.ch/personal/wirth/ProjectOberon/Sources... http://www.projectoberon.com/ Active Oberon in A2 - BlueBottle OS (TCP/IP stack) https://github.com/btreut/a2/blob/48dcfc1f1a6ed2bec110ca3af3... https://github.com/btreut/a2 Mesa at Xerox PARC (Courier RPC, XNX) http://www.bitsavers.org/pdf/xerox/mesa/3.0_1977/listing/ Sing# on Singularity https://archive.codeplex.com/?p=singularity Start at sourceCode\sourceCode\base\Libraries\System.Net\Sockets

It's been done in the past. OS's come to dominate mostly for marketing rather than technical reasons. Much like startups. Integration with legacy systems and rapid development increase chance they'll get uptake. The existing stuff is mostly C, C++, etc. So, the new stuff that dominates tends to reuse that. Redoing it all in a safe language will be a lot of work. That's why high-assurance security has focused on redoing the smallest, most-trusted parts of the stack or working on transformations of legacy code like Softbound+CETS or CHERI CPU that address root problems. Although I doubt we'll see a big one, there's already smaller projects that do useful stuff with safer languages. ExpressOS comes to mind given the kernel is C# and Dafny running Android apps that are Java. The L4 kernel and Linux remain in the system with L4 replaceable by

There were other ones like {CODE} for inline assembly, if I remmeber correctly. In any case feel free to browse the code or play with Blue OS. https://github.com/Ignat99/a2 http://oberoncore.ru/_media/wiki/lang/reali_p.active_oberon_...

Wirth and a few others went to Xerox to see their personal computer with GUI that Steve Jobs also envied. They were told they couldn't buy it. "So, I built one..." (Wirth) http://www.cfbsoftware.com/modula2/Lilith.pdf Lilith was a custom computer with all kinds of hardware. The mouse eventually inspired Logitech. The software included a safe language (Modula-2), its compiler, an OS (Medos-2), a relational DB, and some other stuff. The trick was safe language, modularity, and simplicity in implementation details. Two or 3 people over a few years. Later, that turned into the Oberon series of languages, compilers, and OS's. The extensions or ports usually took 1 or 2 students months to a year or two to pull off. Last one they released IIRC was A2 Bluebottle OS. Primitive, but usable. I keep telling people to rewrite it in other safe, C alter