Am Rande notiert ...

Welcome to RISC OS Pi in Documentation. Ok, schon putzig – RiscOS jetzt als System für den Raspberry Pi. Andererseits, der hat wahrscheinlich bessere Leistung als die alten Acorn Maschinen damals hatten.