Plan 9 from Bell Labs 2009-11-27

sys/doc/port.ms

@@ -339,16 +339,19 @@ See the file
 .CW /sys/src/9/bitsy/Booting101
 for information about installing Plan 9 on the iPAQ.
 .SH
-The Sheevaplug operating system
+The Marvell Kirkwood operating system
 .PP
-This is an ARM CPU-server kernel that emulates floating-point and
+This is an ARM kernel that emulates floating-point and
 CAS (compare-and-swap) instructions.
+It is known to run on the Sheevaplug and Openrd-client boards.
 It is derived from a port of native Inferno to the Sheevaplug
 by Salva Peir\f(Jpó\fP and Mechiel Lukkien.
 There are many features of the Marvell Kirkwood system-on-a-chip
 that it does not exploit.
-Initially, there are drivers for Gigabit Ethernet and the console serial port;
-we hope to add USB and NAND or SPI Flash drivers.
+Initially, there are drivers for up to two
+Gigabit Ethernet interfaces and the console serial port;
+we hope to add USB and NAND or SPI Flash drivers,
+and a video driver for the Openrd-client.
 .ig
 .SH
 The file server

sys/doc/port.ps

@@ -5823,67 +5823,100 @@ mark
 10 /LucidaSansUnicode00 f
 (\255 5 \255) 2783 480 w
 10 /LucidaSans-Demi f
-(The Sheevaplug operating system) 720 840 w
+(The Marvell Kirkwood operating system) 720 840 w
 10 /LucidaSansUnicode00 f
 (This) 970 996 w
-(is) 1211 996 w
-(an) 1327 996 w
-(ARM) 1481 996 w
-(CPU-server) 1736 996 w
-(kernel) 2321 996 w
-(that) 2660 996 w
-(emulates) 2888 996 w
-(floating-point) 3364 996 w
-(and) 4083 996 w
-(CAS) 4300 996 w
-(\(compare-) 4529 996 w
-(and-swap\)) 720 1116 w
-(instructions.) 1274 1116 w
-(It) 1948 1116 w
-(is) 2051 1116 w
-(derived) 2168 1116 w
-(from) 2565 1116 w
-(a) 2834 1116 w
-(port) 2926 1116 w
-(of) 3165 1116 w
-(native) 3300 1116 w
-(Inferno) 3628 1116 w
-(to) 4013 1116 w
-(the) 4147 1116 w
-(Sheevaplug) 4338 1116 w
-(by) 4925 1116 w
-(Salva) 720 1236 w
-(Peir) 1023 1236 w
- save 1204 1236 m
+(is) 1218 996 w
+(an) 1341 996 w
+(ARM) 1501 996 w
+(kernel) 1762 996 w
+(that) 2108 996 w
+(emulates) 2343 996 w
+(floating-point) 2826 996 w
+(and) 3552 996 w
+(CAS) 3776 996 w
+(\(compare-and-swap\)) 4012 996 w
+(instructions.) 720 1116 w
+(It) 1413 1116 w
+(is) 1534 1116 w
+(known) 1669 1116 w
+(to) 2044 1116 w
+(run) 2197 1116 w
+(on) 2417 1116 w
+(the) 2595 1116 w
+(Sheevaplug) 2805 1116 w
+(and) 3411 1116 w
+(Openrd-client) 3646 1116 w
+(boards.) 4386 1116 w
+(It) 4839 1116 w
+(is) 4960 1116 w
+(derived) 720 1236 w
+(from) 1118 1236 w
+(a) 1388 1236 w
+(port) 1481 1236 w
+(of) 1721 1236 w
+(native) 1857 1236 w
+(Inferno) 2186 1236 w
+(to) 2572 1236 w
+(the) 2708 1236 w
+(Sheevaplug) 2901 1236 w
+(by) 3490 1236 w
+(Salva) 3643 1236 w
+(Peir) 3926 1236 w
+ save 4107 1236 m
  currentpoint translate 10 10 scale ptsize dup scale
  16 24 true [16 0 0 -16 0 22]
  {<0000000000000000000000000000000004001c00380040003c006600c300c300c300c300c30066003c00000000000000>}
  imagemask restore
-(and) 1323 1236 w
-(Mechiel) 1561 1236 w
-(Lukkien.) 1988 1236 w
-(There) 2488 1236 w
-(are) 2824 1236 w
-(many) 3034 1236 w
-(features) 3354 1236 w
-(of) 3807 1236 w
-(the) 3964 1236 w
-(Marvell) 4178 1236 w
-(Kirkwood) 4585 1236 w
-(system-on-a-chip) 720 1356 w
-(that) 1658 1356 w
-(it) 1890 1356 w
-(does) 1997 1356 w
-(not) 2269 1356 w
-(exploit.) 2470 1356 w
-(Initially,) 2911 1356 w
-(there) 3334 1356 w
-(are) 3626 1356 w
-(drivers) 3818 1356 w
-(for) 4191 1356 w
-(Gigabit) 4370 1356 w
-(Ether\255) 4757 1356 w
-(net and the console serial port; we hope to add USB and NAND or SPI Flash drivers.) 720 1476 w
+(and) 4207 1236 w
+(Mechiel) 4426 1236 w
+(Luk\255) 4834 1236 w
+(kien.) 720 1356 w
+(There) 1033 1356 w
+(are) 1355 1356 w
+(many) 1551 1356 w
+(features) 1857 1356 w
+(of) 2296 1356 w
+(the) 2438 1356 w
+(Marvell) 2637 1356 w
+(Kirkwood) 3028 1356 w
+(system-on-a-chip) 3526 1356 w
+(that) 4466 1356 w
+(it) 4700 1356 w
+(does) 4809 1356 w
+(not) 720 1476 w
+(exploit.) 918 1476 w
+(Initially,) 1356 1476 w
+(there) 1777 1476 w
+(are) 2067 1476 w
+(drivers) 2257 1476 w
+(for) 2629 1476 w
+(up) 2807 1476 w
+(to) 2971 1476 w
+(two) 3108 1476 w
+(Gigabit) 3322 1476 w
+(Ethernet) 3708 1476 w
+(interfaces) 4152 1476 w
+(and) 4666 1476 w
+(the) 4885 1476 w
+(console) 720 1596 w
+(serial) 1141 1596 w
+(port;) 1452 1596 w
+(we) 1736 1596 w
+(hope) 1919 1596 w
+(to) 2211 1596 w
+(add) 2359 1596 w
+(USB) 2590 1596 w
+(and) 2821 1596 w
+(NAND) 3051 1596 w
+(or) 3393 1596 w
+(SPI) 3545 1596 w
+(Flash) 3732 1596 w
+(drivers,) 4032 1596 w
+(and) 4446 1596 w
+(a) 4675 1596 w
+(video) 4779 1596 w
+(driver for the Openrd-client.) 720 1716 w
 cleartomark
 showpage
 saveobj restore

sys/man/8/booting

@@ -136,7 +136,7 @@ will be downloaded by default.
 Once the kernel is loaded,
 it prompts for the Ethernet
 protocol to use to reach the root file server; request the default.
-.SS Sheevaplug CPU Server
+.SS Marvell Kirkwood boards
 Type
 .IP
 .EX
@@ -146,7 +146,7 @@ saveenv
 .EE
 .PP
 at U-Boot the first time;
-thereafter, the Sheevaplug will automatically boot via BOOTP and TFTP
+thereafter, the Kirkwood board will automatically boot via BOOTP and TFTP
 when reset or turned on.
 .ig
 .SS File servers