Raspberry Pi - Revision history

Ebiggers at 22:37, 11 September 2013

2013-09-11T22:37:33Z

Ebiggers: Wikify

2013-09-11T22:35:25Z

Wikify

Ebiggers: Moving XinuPi info to external page

2013-09-11T22:33:35Z

Moving XinuPi info to external page

Ebiggers: git branch was merged

2013-09-10T02:43:55Z

git branch was merged

Ebiggers: Adjust link

2013-09-08T15:28:43Z

Adjust link

Ebiggers: Tweak wording

2013-09-08T14:19:51Z

Tweak wording

Ebiggers: /* Acquiring the hardware */

2013-09-08T14:15:17Z

Acquiring the hardware

Ebiggers: Add section about downloading and compiling XinuPi

2013-09-07T22:02:31Z

Add section about downloading and compiling XinuPi

Ebiggers: Add more Raspberry Pi images

2013-08-02T22:31:21Z

Add more Raspberry Pi images

Ebiggers: Add picture of Pi in case

2013-08-02T22:23:37Z

Add picture of Pi in case

@@ Line 6: / Line 6: @@
 === Model A vs. Model B ===
-The Raspberry Pi Model A costs $25, whereas the Raspberry Pi Model B costs $35.  We generally recommend the Model B because it includes an Ethernet port and 2 USB ports, as opposed to the Model A which merely has 1 USB port.  Also, currently the Model B has more memory (512 MiB) than the Model A (256 MiB), but since Embedded Xinu is very lightweight and only uses a small amount of the available memory, the difference in memory is mostly irrelevant.
+The Raspberry Pi Model A costs $25, whereas the Raspberry Pi Model B costs $35.  We generally recommend the Model B because it includes an Ethernet port and 2 USB ports, as opposed to the Model A which merely has 1 USB port.  Also, currently the Model B has more memory (512 MiB) than the Model A (256 MiB), but since [[XinuPi]] is very lightweight and only uses a small amount of the available memory, the difference in memory is mostly irrelevant.
 === Hardware accessories ===
@@ Line 12: / Line 12: @@
 One way the cost of the Raspberry Pi was kept down was increasing modularity.  A consequence of this is that a Raspberry Pi board by itself is useless until at least two additional components have been added:
-* SD card.  To boot, the Raspberry Pi requires an appropriately formatted SD card containing certain boot files as well as the operating system or kernel to run.  Note: as of this writing, Embedded Xinu has no SD card driver; therefore, when running Embedded Xinu the SD card is only used for booting.  Useful tip:  Since the SD card can easily be removed, it is trivial to have different SD cards and swap them out when needed.  This trick can be used to easily use the same Raspberry Pis for different purposes.
+* SD card.  To boot, the Raspberry Pi requires an appropriately formatted SD card containing certain boot files as well as the operating system or kernel to run.  Note: as of this writing, [[XinuPi]] has no SD card driver; therefore, when running [[XinuPi]] the SD card is only used for booting.  Useful tip:  Since the SD card can easily be removed, it is trivial to have different SD cards and swap them out when needed.  This trick can be used to easily use the same Raspberry Pis for different purposes.
 * Power source.  The Raspberry Pi requires 700 mA at 5V, delivered either through the microUSB port or through the GPIO pins.  For the microUSB port, most cell phone chargers should work.  For the GPIO pins, a useful trick is that a USB to TTL Serial converter, such as [http://www.adafruit.com/products/954 this one], can double as a power source  as well as a serial connection to the Raspberry Pi over which the console runs.  We have primarily used the latter method while developing [[XinuPi]].

@@ Line 13: / Line 13: @@
 * SD card.  To boot, the Raspberry Pi requires an appropriately formatted SD card containing certain boot files as well as the operating system or kernel to run.  Note: as of this writing, Embedded Xinu has no SD card driver; therefore, when running Embedded Xinu the SD card is only used for booting.  Useful tip:  Since the SD card can easily be removed, it is trivial to have different SD cards and swap them out when needed.  This trick can be used to easily use the same Raspberry Pis for different purposes.
-* Power source.  The Raspberry Pi requires 700 mA at 5V, delivered either through the microUSB port or through the GPIO pins.  For the microUSB port, most cell phone chargers should work.  For the GPIO pins, a useful trick is that a USB to TTL Serial converter, such as [http://www.adafruit.com/products/954 this one], can double as a power source  as well as a serial connection to the Raspberry Pi over which the console runs.  We have primarily used the latter method while developing XinuPi.
+* Power source.  The Raspberry Pi requires 700 mA at 5V, delivered either through the microUSB port or through the GPIO pins.  For the microUSB port, most cell phone chargers should work.  For the GPIO pins, a useful trick is that a USB to TTL Serial converter, such as [http://www.adafruit.com/products/954 this one], can double as a power source  as well as a serial connection to the Raspberry Pi over which the console runs.  We have primarily used the latter method while developing [[XinuPi]].
 Other useful hardware and accessories include the following:
-* Serial cable for text input/output to/from the Raspberry Pi, such as [http://www.adafruit.com/products/954 this one].  This is very important for XinuPi because this is its primary way to interact with a human.  Furthermore, as noted above, such a serial cable can double as a power source.  However, eventually a keyboard-and-monitor setup will be supported as well, providing an alternative to a serial cable when human interaction with the system is desired.
+* Serial cable for text input/output to/from the Raspberry Pi, such as [http://www.adafruit.com/products/954 this one].  This is very important for [[XinuPi]] because this is its primary way to interact with a human.  Furthermore, as noted above, such a serial cable can double as a power source.  However, eventually a keyboard-and-monitor setup will be supported as well, providing an alternative to a serial cable when human interaction with the system is desired.
-* Monitor or TV to display graphics output from the Raspberry Pi.  While important for Linux, this is less important for XinuPi, which is primarily intended to produce text output over a serial connection as described above.  However, XinuPi does support a framebuffer console and a turtle graphics application for those interested.
+* Monitor or TV to display graphics output from the Raspberry Pi.  While important for Linux, this is less important for [[XinuPi]], which is primarily intended to produce text output over a serial connection as described above.  However, [[XinuPi]] does support a framebuffer console and a turtle graphics application for those interested.
-* USB devices can be plugged in and recognized, but the device driver support for specific devices is extremely limited at this point.  Support for USB keyboards as an input method is in development.
+* [[USB]] devices can be plugged in and recognized, but the device driver support for specific devices is extremely limited at this point.  Support for USB keyboards as an input method is in development.
 * Ethernet cable to take advantage of the networking support.
 * Case to enclose the Raspberry Pi in.  This protects the board and adds aesthetic value; otherwise it has no purpose.
@@ Line 28: / Line 28: @@
 == Booting ==
-The Raspberry Pi can only boot from its SD card, not from any external devices, and it requires several files in order to do so.  Several boot files, which are not distributed with XinuPi, must be placed in the root directory of a FAT-formatted partition of the SD card.
+The Raspberry Pi can only boot from its SD card, not from any external devices, and it requires several files in order to do so.  Several boot files, which are not distributed with [[XinuPi]], must be placed in the root directory of a FAT-formatted partition of the SD card.
 The following binary blobs (created by Broadcom, but freely distributable, at least when using them on Raspberry Pis) must exist:
@@ Line 38: / Line 38: @@
 The following text files are optional:
-* "config.txt" is parsed by the GPU firmware and is used to set various hardware parameters.  XinuPi runs fine with the default parameters, so "config.txt" need not exist.
+* "config.txt" is parsed by the GPU firmware and is used to set various hardware parameters.  [[XinuPi]] runs fine with the default parameters, so "config.txt" need not exist.
-* "cmdline.txt" is used to pass a command line to the Linux kernel.  This file need not exist for the XinuPi kernel, which does not take command line parameters.
+* "cmdline.txt" is used to pass a command line to the Linux kernel.  This file need not exist for the [[XinuPi]] kernel, which does not take command line parameters.
 Finally, the actual kernel:
-* "kernel.img" must exist and is loaded as raw data at physical memory address 0x8000 by the GPU firmware.  The ARM begins execution at the very first instruction in this loaded image.  "kernel.img" can be a XinuPi kernel (rename "xinu.boot" to "kernel.img"), a Linux kernel, or other bare-metal code such as the "raspbootin" bootloader.  "raspbootin" has been helpful in developing XinuPi; see [https://github.com/mrvn/raspbootin/blob/master/README.md its documentation] for more information.
+* "kernel.img" must exist and is loaded as raw data at physical memory address 0x8000 by the GPU firmware.  The ARM begins execution at the very first instruction in this loaded image.  "kernel.img" can be a [[XinuPi]] kernel (rename "xinu.boot" to "kernel.img"), a Linux kernel, or other bare-metal code such as the "raspbootin" bootloader.  "raspbootin" has been helpful in developing [[XinuPi]]; see [https://github.com/mrvn/raspbootin/blob/master/README.md its documentation] for more information.
 There are a couple ways you can actually achieve the final result of a properly set up SD card:
-* Follow the installation instructions for a Linux distribution supported on the Raspberry Pi, such as Raspbian or Arch Linux ARM.  This will leave the appropriate boot files.  To switch to XinuPi, simply replace "kernel.img" on the FAT partition with "xinu.boot".  (Perhaps rename "kernel.img" to "linux.img" to save a backup first.)
+* Follow the installation instructions for a Linux distribution supported on the Raspberry Pi, such as Raspbian or Arch Linux ARM.  This will leave the appropriate boot files.  To switch to [[XinuPi]], simply replace "kernel.img" on the FAT partition with "xinu.boot".  (Perhaps rename "kernel.img" to "linux.img" to save a backup first.)
 * Manually partition the SD card and create a FAT filesystem, then copy the boot files to the filesystem.  The binary blobs can be downloaded using the links provided above.

@@ Line 1: / Line 1: @@
 [[File:RaspberryPi.jpg|200px|right|thumb|A freshly unpacked Raspberry Pi with additional SDHC card.]]
-The '''Raspberry Pi''' is an inexpensive credit-card sized computer designed for educational use.  This page gives an overview of the port of Embedded Xinu to the Raspberry Pi, or '''XinuPi'''.  XinuPi provides a simple, lightweight operating system for the Raspberry Pi that contains several orders of magnitude fewer lines of code than the Linux-based software stacks that normally run on the device.  Its purpose is to provide an inexpensive, convenient platform for various areas of computer science education at a University level, including operating systems, embedded systems, networking, and programming languages.  Another goal of XinuPi is to document some of the Raspberry Pi's hardware that has, until this point, been poorly documented or even undocumented.  This includes the documentation on this Wiki as well as the XinuPi source code and the documentation generated from comments in it.
+The '''Raspberry Pi''' is an inexpensive credit-card sized computer designed for educational use.  This page provides information about the Raspberry Pi in the context of those looking to run [[XinuPi]] on it.  Readers unfamiliar with the Raspberry Pi are advised to also see other sources such as the [http://www.raspberrypi.org/ Raspberry Pi foundation's website].
 == Acquiring the hardware ==
@@ Line 53: / Line 49: @@
 * Follow the installation instructions for a Linux distribution supported on the Raspberry Pi, such as Raspbian or Arch Linux ARM.  This will leave the appropriate boot files.  To switch to XinuPi, simply replace "kernel.img" on the FAT partition with "xinu.boot".  (Perhaps rename "kernel.img" to "linux.img" to save a backup first.)
 * Manually partition the SD card and create a FAT filesystem, then copy the boot files to the filesystem.  The binary blobs can be downloaded using the links provided above.

@@ Line 64: / Line 64: @@
   git clone https://github.com/xinu-os/xinu
   cd xinu
 Note that this in fact the code for "Embedded Xinu" and not for "XinuPi" specifically.  That is, the Raspberry Pi is one of several platforms that Embedded Xinu supports (and builds targeting it are referred to as "XinuPi").

@@ Line 80: / Line 80: @@
 == XinuPi features and implementation ==
-* The core of XinuPi provides a preemptive multitasking operating system for the Raspberry Pi.  See [[Preemptive Multitasking (ARM)]] for more details about how Embedded Xinu implements preemptive multitasking on ARM-based platforms such as the Raspberry Pi; this includes information about thread creation and context switching.  Also see [[BCM2835 System Timer]] for the timer on the Raspberry Pi that XinuPi uses to implement preemptive multitasking.
+* The core of XinuPi provides a preemptive multitasking operating system for the Raspberry Pi.  See [[Preemptive multitasking (ARM)]] for more details about how Embedded Xinu implements preemptive multitasking on ARM-based platforms such as the Raspberry Pi; this includes information about thread creation and context switching.  Also see [[BCM2835 System Timer]] for the timer on the Raspberry Pi that XinuPi uses to implement preemptive multitasking.
 * Interrupt handling on the Raspberry Pi, required for the timer interrupt as well as many other devices, is described in [[Interrupt handling (Raspberry Pi)]].
 * USB support was added to Embedded Xinu partly because of its important role in the Raspberry Pi, including to attach the Ethernet Controller on the Raspberry Pi Model B.  See [[USB]] for general information about USB, or [[Synopsys DesignWare High-Speed USB 2.0 On-The-Go Controller]] for information specifically about the USB controller the Raspberry Pi provides.

@@ Line 4: / Line 4: @@
 = General Raspberry Pi information =
-This section provides some important details about the Raspberry Pi in the context of those interested in running Embedded Xinu on it.  Readers unfamiliar with the Raspberry Pi are advised to also see other sources such as the [http://www.raspberrypi.org/ Raspberry Pi foundation's website].
+This section provides some important details about the Raspberry Pi in the context of those interested in running XinuPi on it.  Readers unfamiliar with the Raspberry Pi are advised to also see other sources such as the [http://www.raspberrypi.org/ Raspberry Pi foundation's website].
 == Acquiring the hardware ==
@@ Line 10: / Line 10: @@
 === Model A vs. Model B ===
-The Raspberry Pi Model A costs $25, whereas the Raspberry Pi Model B costs $35.  We recommend the Model B because it includes an Ethernet port and 2 USB ports, as opposed to the Model A which merely has 1 USB port.  Also, currently the Model B has more memory (512 MiB) than the Model A (256 MiB), but since Embedded Xinu is very lightweight and only uses a small amount of the available memory, the difference in memory is mostly irrelevant.
+The Raspberry Pi Model A costs $25, whereas the Raspberry Pi Model B costs $35.  We generally recommend the Model B because it includes an Ethernet port and 2 USB ports, as opposed to the Model A which merely has 1 USB port.  Also, currently the Model B has more memory (512 MiB) than the Model A (256 MiB), but since Embedded Xinu is very lightweight and only uses a small amount of the available memory, the difference in memory is mostly irrelevant.
 === Hardware accessories ===
@@ Line 32: / Line 32: @@
 == Booting ==
-The Raspberry Pi can only boot from its SD card, not from any external devices, and it requires several files in order to do so.  Several boot files, which are not distributed with Embedded Xinu, must be placed in the root directory of a FAT-formatted partition of the SD card.
+The Raspberry Pi can only boot from its SD card, not from any external devices, and it requires several files in order to do so.  Several boot files, which are not distributed with XinuPi, must be placed in the root directory of a FAT-formatted partition of the SD card.
 The following binary blobs (created by Broadcom, but freely distributable, at least when using them on Raspberry Pis) must exist:
@@ Line 42: / Line 42: @@
 The following text files are optional:
-* "config.txt" is parsed by the GPU firmware and is used to set various hardware parameters.  Xinu runs fine with the default parameters, so "config.txt" need not exist.
+* "config.txt" is parsed by the GPU firmware and is used to set various hardware parameters.  XinuPi runs fine with the default parameters, so "config.txt" need not exist.
-* "cmdline.txt" is used to pass a command line to the Linux kernel.  This file need not exist for the Xinu kernel, which does not take command line parameters.
+* "cmdline.txt" is used to pass a command line to the Linux kernel.  This file need not exist for the XinuPi kernel, which does not take command line parameters.
 Finally, the actual kernel:
-* "kernel.img" must exist and is loaded as raw data at physical memory address 0x8000 by the GPU firmware.  The ARM begins execution at the very first instruction in this loaded image.  "kernel.img" can be a Xinu kernel (rename "xinu.boot" to "kernel.img"), a Linux kernel, or other bare-metal code such as the "raspbootin" bootloader.  "raspbootin" has been helpful in the initial stages of porting Xinu to the Raspberry Pi; see [https://github.com/mrvn/raspbootin/blob/master/README.md its documentation] for more information.
+* "kernel.img" must exist and is loaded as raw data at physical memory address 0x8000 by the GPU firmware.  The ARM begins execution at the very first instruction in this loaded image.  "kernel.img" can be a XinuPi kernel (rename "xinu.boot" to "kernel.img"), a Linux kernel, or other bare-metal code such as the "raspbootin" bootloader.  "raspbootin" has been helpful in developing XinuPi; see [https://github.com/mrvn/raspbootin/blob/master/README.md its documentation] for more information.
 There are a couple ways you can actually achieve the final result of a properly set up SD card:
-* Follow the installation instructions for a Linux distribution supported on the Raspberry Pi, such as Raspbian or Arch Linux ARM.  This will leave the appropriate boot files.  To switch to Embedded Xinu, simply replace "kernel.img" on the FAT partition with "xinu.boot".  (Perhaps rename "kernel.img" to "linux.img" to save a backup first.)
+* Follow the installation instructions for a Linux distribution supported on the Raspberry Pi, such as Raspbian or Arch Linux ARM.  This will leave the appropriate boot files.  To switch to XinuPi, simply replace "kernel.img" on the FAT partition with "xinu.boot".  (Perhaps rename "kernel.img" to "linux.img" to save a backup first.)
 * Manually partition the SD card and create a FAT filesystem, then copy the boot files to the filesystem.  The binary blobs can be downloaded using the links provided above.
 = XinuPi =
-This section provides an overview of XinuPi (the port of Embedded Xinu to the Raspberry Pi) and links to relevant articles.
+This section provides an overview of the XinuPi software and links to relevant articles.
 == Downloading and compiling XinuPi ==

← Older revision		Revision as of 22:31, 2 August 2013
Line 28:		Line 28:

	[[File:Raspberry Pi in case with USB and Ethernet cables.jpg\|thumb\|Raspberry Pi Model B in a case with USB and Ethernet cables attached.]]		[[File:Raspberry Pi in case with USB and Ethernet cables.jpg\|thumb\|Raspberry Pi Model B in a case with USB and Ethernet cables attached.]]
		+	[[File:RaspberryPi in case with Ethernet cable.jpg\|thumb\|Another shot of a Raspberry Pi Model B in a case.]]

	== Booting ==		== Booting ==