#2126 01.08.2023 20:00 AP
SpaceOS

Tarides: OCaml in Space - Welcome SpaceOS!

SpaceOS is an operating system that is secure by design, providing complete isolation between user software paired with effortless software updates.

[...]

SpaceOS is built on stable and safe programming logic (read on for details about the memory safety of OCaml) and MirageOS unikernel technology.


#1764 19.03.2023 16:35 AP

Slashdot: Unix Pioneer Ken Thompson Announces He's Switching From Mac To Linux

I have, for most of my life — because I was sort of born into it — run Apple.

Now recently, meaning within the last five years, I've become more and more depressed, and what Apple is doing to something that should allow you to work is just atrocious. But they are taking a lot of space and time to do it, so it's okay.

And I have come, within the last month or two, to say, even though I've invested, you know, a zillion years in Apple — I'm throwing it away. And I'm going to Linux. To Raspbian in particular.


#1094 18.09.2022 16:39 AP
OS für Atari ST und Amiga

EmuTOS

EmuTOS is a Free operating system for computers based on Motorola 680x0 or ColdFire microprocessors. It features functionality similar to TOS, which powered the Atari ST and its successors between 1985 and 1994.

[...]

It is actively developed and supported.