Difference between revisions of "Plan 9 on Raspberry Pi"
m (Geertivp moved page Plan 9 to Plan 9 on Raspberry Pi: More descriptive) |
(Naming) |
||
| Line 1: | Line 1: | ||
[[category:Plan 9]] | [[category:Plan 9]] | ||
| − | + | [[category:Raspberry Pi]] | |
| − | This is a rough script to install | + | The Plan 9 operating system has been made available as open source by [[Bell Labs]] since 1992. |
| + | It is an experimental operating system specially targeted to developers. | ||
| + | Since it has a small footprint is a perfect candidate operating system for [[Raspberry Pi]]. | ||
| + | This is a rough script to install '''Plan 9''' on e.g. a [[Raspberry Pi]]. | ||
==Obtaining the installation kit== | ==Obtaining the installation kit== | ||
| Line 7: | Line 10: | ||
==Available partitions== | ==Available partitions== | ||
| − | You can run another Linux system and have a [[USB stick]] (containing the distribution kit) and an (empty) [[SD card]] available. | + | You can run another Linux system, or boot from a [[live DVD]], and have a [[USB stick]] (containing the distribution kit) and an (empty) [[SD card]] available. |
First check the available [[partition]]s on your system: | First check the available [[partition]]s on your system: | ||
| Line 14: | Line 17: | ||
/dev/sdb1: UUID="E704-D4E9" TYPE="vfat" | /dev/sdb1: UUID="E704-D4E9" TYPE="vfat" | ||
/dev/sdc: SEC_TYPE="msdos" LABEL="WEBKIT" UUID="22DA-36EB" TYPE="vfat" | /dev/sdc: SEC_TYPE="msdos" LABEL="WEBKIT" UUID="22DA-36EB" TYPE="vfat" | ||
| + | Check the target device: | ||
| + | fdisk -l /dev/sdb | ||
| − | |||
| − | |||
| − | |||
| − | |||
Device Boot Start End Blocks Id System | Device Boot Start End Blocks Id System | ||
/dev/sdb1 8192 61497343 30744576 c W95 FAT32 (LBA) | /dev/sdb1 8192 61497343 30744576 c W95 FAT32 (LBA) | ||
| − | |||
| − | |||
Note: Your environment might be different... | Note: Your environment might be different... | ||
| − | ==Install the | + | ==Install the Plan 9 system== |
| − | Now install the | + | Now install the Plan 9 operating system on the SD card: |
umount /dev/sdb1 | umount /dev/sdb1 | ||
mount /dev/sdc /mnt/sdc | mount /dev/sdc /mnt/sdc | ||
| − | + | Check the source kit: | |
ls -l /mnt/sdc | ls -l /mnt/sdc | ||
| Line 36: | Line 35: | ||
-rwxr-xr-x 1 root root 481976320 Jun 29 22:41 9pi.img | -rwxr-xr-x 1 root root 481976320 Jun 29 22:41 9pi.img | ||
| − | dd bs=1M if=/mnt/sdc/9pi.img of=/dev/sdb | + | [[dd]] bs=1M if=/mnt/sdc/9pi.img of=/dev/sdb |
Caveat: all the data from the target SD card will be lost... | Caveat: all the data from the target SD card will be lost... | ||
| Line 46: | Line 45: | ||
/dev/sdb2 120960 3782015 1830528 39 Plan 9 | /dev/sdb2 120960 3782015 1830528 39 Plan 9 | ||
Note: | Note: | ||
| − | #Remark that you have plenty of empty space | + | #Remark that you have still plenty of empty space on the target disk |
| − | #You could create other partitions like [[Raspbian]] in a multi-boot environment | + | #You could create other partitions like [[Raspbian]] in a multi-boot environment using [[GParted]] and [[dd]] |
| − | # | + | #Additional (data) partitions could be added as well |
| − | == | + | ==First boot== |
Now you can mount the [[SD card]] in a [[Raspberry Pi]], and have a first boot. | Now you can mount the [[SD card]] in a [[Raspberry Pi]], and have a first boot. | ||
| + | Do not forget to connect a keyboard, mouse, and a HDMI screen. | ||
| + | ==Activating the network== | ||
To enable [[DHCP]] networking you can choose another boot file: | To enable [[DHCP]] networking you can choose another boot file: | ||
cp /boot/cmdline-demo-net.txt /boot/cmdline.txt | cp /boot/cmdline-demo-net.txt /boot/cmdline.txt | ||
| + | You could customize both cmdline.txt and config.txt | ||
| + | to tune your system to your requirements. | ||
==Serial port console access== | ==Serial port console access== | ||
Revision as of 13:27, 16 November 2014
The Plan 9 operating system has been made available as open source by Bell Labs since 1992. It is an experimental operating system specially targeted to developers. Since it has a small footprint is a perfect candidate operating system for Raspberry Pi. This is a rough script to install Plan 9 on e.g. a Raspberry Pi.
Contents
Obtaining the installation kit
Download the installation kit[1].
Available partitions
You can run another Linux system, or boot from a live DVD, and have a USB stick (containing the distribution kit) and an (empty) SD card available. First check the available partitions on your system:
blkid
/dev/sdb1: UUID="E704-D4E9" TYPE="vfat" /dev/sdc: SEC_TYPE="msdos" LABEL="WEBKIT" UUID="22DA-36EB" TYPE="vfat"
Check the target device:
fdisk -l /dev/sdb
Device Boot Start End Blocks Id System /dev/sdb1 8192 61497343 30744576 c W95 FAT32 (LBA)
Note: Your environment might be different...
Install the Plan 9 system
Now install the Plan 9 operating system on the SD card:
umount /dev/sdb1 mount /dev/sdc /mnt/sdc
Check the source kit:
ls -l /mnt/sdc
total 598176 -rwxr-xr-x 1 root root 481976320 Jun 29 22:41 9pi.img
dd bs=1M if=/mnt/sdc/9pi.img of=/dev/sdb
Caveat: all the data from the target SD card will be lost...
Partitions after the installation
fdisk -l /dev/sdb
Device Boot Start End Blocks Id System /dev/sdb1 63 120959 60448+ b W95 FAT32 /dev/sdb2 120960 3782015 1830528 39 Plan 9
Note:
- Remark that you have still plenty of empty space on the target disk
- You could create other partitions like Raspbian in a multi-boot environment using GParted and dd
- Additional (data) partitions could be added as well
First boot
Now you can mount the SD card in a Raspberry Pi, and have a first boot. Do not forget to connect a keyboard, mouse, and a HDMI screen.
Activating the network
To enable DHCP networking you can choose another boot file:
cp /boot/cmdline-demo-net.txt /boot/cmdline.txt
You could customize both cmdline.txt and config.txt to tune your system to your requirements.
Serial port console access
You might try to have console access. See RPi Serial Connection.
dmesg |tail screen /dev/ttyUSB0
^az
Unresolved: we would require a getty daemon to get a console prompt...
Internet links
- http://www.quanstro.net/newbie-guide.pdf
- http://www.plan9.bell-labs.com/wiki/plan9/Unix_to_Plan_9_command_translation/index.html
- http://www.plan9.bell-labs.com/wiki/plan9/plan_9_wiki/
- http://www.plan9.bell-labs.com/plan9/
References
- ↑ Plan 9 for Raspberry Pi, Retrieved 16-11-2014
