Re: Author comment -- could you lot miss the point any more widely?
> Oberon shows that an essentially one-man language, compiler and OS can produce a real, viable, practical, usable OS that an entire University department ran on for decades.
C and Unix was originally "an essentially one-man language, compiler and OS". Minix was a one-man OS. Linux was initially one-man OS, so was CP/M. MS-DOS started (QDOS) as a one-man OS (though it was a copy of CP/M).
And what "University department" was that? Computer Science? Computers are not just for teaching about computers, they are tools for using to learn about many other things.
> The IT industry assumes that operating systems have to be written in C to work -- wrong -- and must by nature be big and complex -- wrong.
The IT industry has written operating systems in many different languages. Burroughs used an Algol derivative called ESPOL for MCP. ICL VME B was written in S3. CP/M was written in PL/M. The core of AmigaOS was TripOS which was written in BCPL. BCPL begat B which was the inspiration for C.
While OSes do not _need_ to be written in C, it happens that C produces fast running code that can be ported to many architectures. Other languages may provide different advantages, but the 'IT industry' is not there to make computers for university departments studying computing (they can do that themselves), it is there to make money by selling computers to do many different things, at different price points, and in different ways.
C achieves that.
> We should give kids something small, fast, simple, clean, efficient. Not piles of kludge layered on top of a late-1960s hack.
The Pi Zero is not locked into any particular OS. It already runs several: Linux, BSD, RiscOS, Win10IoT (on Pi2 only). There is no reason at all why others could not be ported to it.
> Using them, someone could port the OS, sure. It has not been done, partly because, as I said, it's an effectively obsolete set of tools that has been long superseded.
Fine, so what are you suggesting ? Or is it just that you hate Linux, C and Python but don't have any real alternatives ?