There should be rejoicing among fans of the original ARM operating system this week, as the venerable RISC OS received its version 5.30 update. It contains up-to-date versions of the bundled software ...

If you read Japanese, you might have seen the book “Design and Implementation of Microkernels” by [Seiya Nuda]. An appendix covers how to write your own operating system for RISC-V in about 1,000 ...

In the previous three posts about exploring my Raspberry Pi, the operating system has always been Linux; first looking at Raspbian, the Debian GNU/Linux spin for the Pi, then Arch Linux ARM and Pidora ...

The Raspberry Pi Foundation yesterday announced the availability of RISC OS for the tiny computer. RISC OS dates to 1987, having been developed for ARM-based personal computers by the now-defunct ...