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 ...

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 ...

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 ...

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 ...