Professional Documents
Culture Documents
Raspberry Pi
Raspberry Pi
After the release of the second board type, the Raspberry Pi Foundation set up a
new entity, named Raspberry Pi Trading, and installed Eben Upton as CEO, with
the responsibility of developing technology.The Foundation was rededicated as an
educational charity for promoting the teaching of basic computer science in
schools and developing countries. Most Pis are made in a Sony factory in
Pencoed, Wales,while others are made in China and Japan.
o The Raspberry Pi Foundation provides Raspberry Pi OS (formerly called Raspbian), a Debian-based Linux
distribution for download, as well as third-party Ubuntu, Windows 10 IoT Core, RISC OS, LibreELEC (specialised
media centre distribution)[153] and specialised distributions for the Kodi media centre and classroom management.
[154] It promotes Python and Scratch as the main programming languages, with support for many other languages.
[155] The default firmware is closed source, while unofficial open source is available.[156][157][158] Many other
operating systems can also run on the Raspberry Pi. The formally verified microkernel seL4 is also supported.[159]
There are several ways of installing multiple operating systems on one SD card.[160]
OTHER OPERATING SYSTEMS (NOT LINUX- NOR BSD-BASED)
o Broadcom VCOS – Proprietary operating system which includes an abstraction layer designed to integrate with existing kernels, such as ThreadX
(which is used on the VideoCore4 processor), providing drivers and middleware for application development. In the case of the Raspberry Pi, this
includes an application to start the ARM processor(s) and provide the publicly documented API over a mailbox interface, serving as its firmware. An
incomplete source of a Linux port of VCOS is available as part of the reference graphics driver published by Broadcom.
o Haiku – an open source BeOS clone that has been compiled for the Raspberry Pi and several other ARM boards. Work on Pi 1 began in 2011, but only
the Pi 2 will be supported.
o HelenOS – a portable microkernel-based multiserver operating system; has basic Raspberry Pi support since version 0.6.0
o Plan 9 from Bell Labs and Inferno (in beta)
o RISC OS Pi (a special cut down version RISC OS Pico, for 16 MB cards and larger for all models of Pi 1 & 2, has also been made available.)
o Ultibo Core – OS-less unikerel Run Time Library based on Free Pascal. Lazarus IDE (Windows with 3rd party ports to Linux and MacOS). Most Pi
models supported.
o Windows 10 IoT Core – a zero-price edition of Windows 10 offered by Microsoft that runs natively on the Raspberry Pi 2.