update the ports document with the rb port

Reference: /n/atom/patch/applied2013/portdocrb
Date: Thu Aug  1 18:51:29 CES 2013
Signed-off-by: quanstro@quanstro.net

--- /sys/doc/port.ms	Thu Aug  1 18:46:56 2013
+++ /sys/doc/port.ms	Thu Aug  1 18:46:57 2013
@@ -262,7 +262,7 @@
 We support Gigabit Ethernet via
 Realtek 8110S/8169S,
 and
-Intel 8254[013467], 8256[3467], 8257[1-79], 8258[02] and i320 controllers.
+Intel 8254[013467], 8256[3467], 8257[1-9], 8258[023], i21[07], and i320 controllers.
 We support 10-Gigabit Ethernet via
 Intel's 8259[89], and x540
 and
@@ -309,9 +309,33 @@
 use PXE or a boot disk to load the system.  See
 .I booting (8),
 .I 9load (8),
+or
+.I pcipl (8),
 and
 .I prep (8)
 for more information.
+.
+.SH
+The Routerboard 450G operating system
+.PP
+This is a CPU kernel that runs on the Mikrotik Routerboard RB450G,
+which contains a MIPS 24K CPU
+(the Atheros 7161), which implements the MIPS32R2 architecture.
+It has 256MB of RAM and a serial port.
+The CPU lacks the 64-bit instructions of previous MIPS systems (e.g.,
+SGI Challenge and Carrera).
+There is no hardware floating-point, so we emulate the instructions.
+Only the first of the five Gigabit Ethernet ports is currently supported;
+the other four are connected via an internal switch.
+To avoid a bug in the CPU (erratum 48), we run the caches write-through,
+rather than write-back, and compiled
+.CW /mips
+with a
+.I vl
+modified to emit enough NOPs to avoid three consecutive store instructions
+(see
+.CW /sys/src/cmd/vl/noop.c
+to enable this).
 .
 .SH
 The Alpha PC operating system
--- /sys/doc/port.ps	Thu Aug  1 18:47:08 2013
+++ /sys/doc/port.ps	Thu Aug  1 18:47:16 2013
@@ -5317,40 +5317,38 @@
 (Intel) 3395 1956 w
 (8254[013467],) 3659 1956 w
 (8256[3467],) 4438 1956 w
-(8257[1-79],) 720 2076 w
-(8258[02]) 1358 2076 w
-(and) 1843 2076 w
-(i320) 2064 2076 w
-(controllers.) 2323 2076 w
-(We) 2947 2076 w
-(support) 3130 2076 w
-(10-Gigabit) 3549 2076 w
-(Ethernet) 4121 2076 w
-(via) 4567 2076 w
-(Intel) 4744 2076 w
+(8257[1-9],) 720 2076 w
+(8258[023],) 1302 2076 w
+(i21[07],) 1889 2076 w
+(and) 2316 2076 w
+(i320) 2544 2076 w
+(controllers.) 2810 2076 w
+(We) 3441 2076 w
+(support) 3631 2076 w
+(10-Gigabit) 4057 2076 w
+(Ethernet) 4635 2076 w
+(via) 720 2196 w
+(Intel) 908 2196 w
 10 /LucidaSansUnicode20 f
-(\031) 4957 2076 w
+(\031) 1121 2196 w
 10 /LucidaSansUnicode00 f
-(s) 4989 2076 w
-(8259[89],) 720 2196 w
-(and) 1229 2196 w
-(x540) 1442 2196 w
-(and) 1725 2196 w
-(Myricom) 1938 2196 w
+(s) 1153 2196 w
+(8259[89],) 1256 2196 w
+(and) 1784 2196 w
+(x540) 2016 2196 w
+(and) 2318 2196 w
+(Myricom) 2550 2196 w
 10 /LucidaSansUnicode20 f
-(\031) 2351 2196 w
+(\031) 2963 2196 w
 10 /LucidaSansUnicode00 f
-(s) 2383 2196 w
-(10) 2467 2196 w
-(gigabit) 2626 2196 w
-(controllers.) 2996 2196 w
-(We) 3612 2196 w
-(mostly) 3787 2196 w
-(use) 4143 2196 w
-(Intel) 4345 2196 w
-(and) 4591 2196 w
-(Real\255) 4804 2196 w
-(tek gigabit controllers, so those drivers may be more robust.) 720 2316 w
+(s) 2995 2196 w
+(10) 3098 2196 w
+(gigabit) 3276 2196 w
+(controllers.) 3665 2196 w
+(We) 4300 2196 w
+(mostly) 4495 2196 w
+(use) 4871 2196 w
+(Intel and Realtek gigabit controllers, so those drivers may be more robust.) 720 2316 w
 (There) 970 2472 w
 (must) 1288 2472 w
 (be) 1571 2472 w
@@ -5590,151 +5588,208 @@
 (or) 4844 4656 w
 (a) 4985 4656 w
 (boot) 720 4776 w
-(disk) 987 4776 w
-(to) 1233 4776 w
-(load) 1376 4776 w
-(the) 1628 4776 w
-(system.) 1827 4776 w
-(See) 2275 4776 w
+(disk) 978 4776 w
+(to) 1215 4776 w
+(load) 1349 4776 w
+(the) 1592 4776 w
+(system.) 1782 4776 w
+(See) 2221 4776 w
 10 /LucidaSans-Italic f
-(booting) 2485 4776 w
+(booting) 2422 4776 w
 10 /LucidaSansUnicode00 f
-(\(8\),) 2850 4776 w
+(\(8\),) 2787 4776 w
 10 /LucidaSans-Italic f
-(9load) 3055 4776 w
+(9load) 2983 4776 w
 10 /LucidaSansUnicode00 f
-(\(8\),) 3326 4776 w
-(and) 3531 4776 w
+(\(8\),) 3254 4776 w
+(or) 3450 4776 w
 10 /LucidaSans-Italic f
-(prep) 3755 4776 w
+(pcipl) 3587 4776 w
 10 /LucidaSansUnicode00 f
-(\(8\)) 3978 4776 w
-(for) 4151 4776 w
-(more) 4334 4776 w
-(informa\255) 4629 4776 w
-(tion.) 720 4896 w
+(\(8\),) 3817 4776 w
+(and) 4013 4776 w
+10 /LucidaSans-Italic f
+(prep) 4228 4776 w
+10 /LucidaSansUnicode00 f
+(\(8\)) 4451 4776 w
+(for) 4615 4776 w
+(more) 4789 4776 w
+(information.) 720 4896 w
 10 /LucidaSans-Demi f
-(The Alpha PC operating system) 720 5136 w
+(The Routerboard 450G operating system) 720 5136 w
+10 /LucidaSansUnicode00 f
+(This) 970 5292 w
+(is) 1209 5292 w
+(a) 1323 5292 w
+(CPU) 1412 5292 w
+(kernel) 1639 5292 w
+(that) 1975 5292 w
+(runs) 2200 5292 w
+(on) 2450 5292 w
+(the) 2607 5292 w
+(Mikrotik) 2796 5292 w
+(Routerboard) 3229 5292 w
+(RB450G,) 3867 5292 w
+(which) 4316 5292 w
+(contains) 4632 5292 w
+(a) 720 5412 w
+(MIPS) 808 5412 w
+(24K CPU \(the Atheros 7161\), which implements the MIPS32R2 architecture.) 1065 5412 w
+(It has) 4774 5412 w
+(256MB) 720 5532 w
+(of) 1087 5532 w
+(RAM) 1219 5532 w
+(and) 1471 5532 w
+(a) 1685 5532 w
+(serial) 1774 5532 w
+(port.) 2069 5532 w
+(The) 2369 5532 w
+(CPU) 2584 5532 w
+(lacks) 2811 5532 w
+(the) 3089 5532 w
+(64-bit) 3278 5532 w
+(instructions) 3625 5532 w
+(of) 4233 5532 w
+(previous) 4366 5532 w
+(MIPS) 4816 5532 w
+(systems) 720 5652 w
+(\(e.g.,) 1155 5652 w
+(SGI) 1446 5652 w
+(Challenge) 1645 5652 w
+(and) 2169 5652 w
+(Carrera\).) 2393 5652 w
+(There) 2892 5652 w
+(is) 3213 5652 w
+(no) 3336 5652 w
+(hardware) 3502 5652 w
+(floating-point,) 3995 5652 w
+(so) 4752 5652 w
+(we) 4907 5652 w
+(emulate) 720 5772 w
+(the) 1156 5772 w
+(instructions.) 1359 5772 w
+(Only) 2044 5772 w
+(the) 2313 5772 w
+(first) 2516 5772 w
+(of) 2759 5772 w
+(the) 2905 5772 w
+(five) 3108 5772 w
+(Gigabit) 3330 5772 w
+(Ethernet) 3725 5772 w
+(ports) 4178 5772 w
+(is) 4480 5772 w
+(currently) 4609 5772 w
+(supported;) 720 5892 w
+(the) 1293 5892 w
+(other) 1492 5892 w
+(four) 1793 5892 w
+(are) 2038 5892 w
+(connected) 2234 5892 w
+(via) 2777 5892 w
+(an) 2957 5892 w
+(internal) 3118 5892 w
+(switch.) 3533 5892 w
+(To) 3948 5892 w
+(avoid) 4116 5892 w
+(a) 4420 5892 w
+(bug) 4519 5892 w
+(in) 4750 5892 w
+(the) 4885 5892 w
+(CPU) 720 6012 w
+(\(erratum) 957 6012 w
+(48\),) 1420 6012 w
+(we) 1656 6012 w
+(run) 1834 6012 w
+(the) 2044 6012 w
+(caches) 2244 6012 w
+(write-through,) 2615 6012 w
+(rather) 3377 6012 w
+(than) 3714 6012 w
+(write-back,) 3975 6012 w
+(and) 4577 6012 w
+(com\255) 4802 6012 w
+(piled) 720 6132 w
+10 /LucidaTypewriter f
+(/mips) 1002 6132 w
 10 /LucidaSansUnicode00 f
-(Plan) 970 5292 w
-(9) 1213 5292 w
-(runs) 1318 5292 w
-(on) 1576 5292 w
-(the) 1741 5292 w
-(Alpha) 1938 5292 w
-(PC) 2258 5292 w
-(164.) 2424 5292 w
-(The) 2719 5292 w
-(Alpha) 2942 5292 w
-(port) 3262 5292 w
-(has) 3506 5292 w
-(not) 3716 5292 w
-(been) 3919 5292 w
-(used) 4199 5292 w
-(as) 4474 5292 w
-(much) 4623 5292 w
-(as) 4934 5292 w
-(the others, and should be considered a preliminary release.) 720 5412 w
-(The) 970 5568 w
-(port) 1196 5568 w
-(uses) 1443 5568 w
-(the) 1708 5568 w
-(OSF/1) 1908 5568 w
-(flavor) 2255 5568 w
-(of) 2576 5568 w
-(PALcode,) 2720 5568 w
-(and) 3206 5568 w
-(should) 3432 5568 w
-(be) 3806 5568 w
-(booted) 3971 5568 w
-(from) 4358 5568 w
-(the) 4636 5568 w
-(SRM) 4837 5568 w
-(firmware) 720 5688 w
-(\(booting) 1182 5688 w
-(from) 1623 5688 w
-(ARC) 1888 5688 w
-(is) 2122 5688 w
-(not) 2235 5688 w
-(supported\).) 2428 5688 w
-(Supported devices are a subset of the PC) 3054 5688 w
-(ones;) 720 5808 w
-(currently) 1015 5808 w
-(this) 1479 5808 w
-(includes) 1691 5808 w
-(DECchip) 2127 5808 w
-(2114x-based) 2563 5808 w
-(ethernet) 3255 5808 w
-(cards,) 3695 5808 w
-(S3) 4021 5808 w
-(VGA) 4171 5808 w
-(cards,) 4411 5808 w
-(Sound) 4738 5808 w
-(Blaster 16-compatible audio, floppy drives, and ATA hard disks.) 720 5928 w
-(The system has to be booted via tftp.) 970 6084 w
-(See) 2847 6084 w
+(with) 1404 6132 w
+(a) 1651 6132 w
 10 /LucidaSans-Italic f
-(booting) 3045 6084 w
+(vl) 1748 6132 w
 10 /LucidaSansUnicode00 f
-(\(8\) for details.) 3410 6084 w
+(modified) 1873 6132 w
+(to) 2346 6132 w
+(emit) 2486 6132 w
+(enough) 2743 6132 w
+(NOPs) 3150 6132 w
+(to) 3450 6132 w
+(avoid) 3590 6132 w
+(three) 3892 6132 w
+(consecutive) 4185 6132 w
+(store) 4794 6132 w
+(instructions \(see) 720 6252 w
+10 /LucidaTypewriter f
+(/sys/src/cmd/vl/noop.c) 1553 6252 w
+10 /LucidaSansUnicode00 f
+(to enable this\).) 3169 6252 w
 10 /LucidaSans-Demi f
-(The PowerPC operating system) 720 6324 w
+(The Alpha PC operating system) 720 6492 w
 10 /LucidaSansUnicode00 f
-(We) 970 6480 w
-(have) 1168 6480 w
-(a) 1449 6480 w
-(version) 1560 6480 w
-(of) 1968 6480 w
-(the) 2122 6480 w
-(system) 2334 6480 w
-(that) 2731 6480 w
-(runs) 2979 6480 w
-(on) 3252 6480 w
-(the) 3432 6480 w
-(PowerPC) 3644 6480 w
-(on) 4115 6480 w
-(a) 4295 6480 w
-(home-grown) 4407 6480 w
-(machine) 720 6600 w
-(called) 1165 6600 w
-(Viaduct.) 1485 6600 w
-(The) 1948 6600 w
-(Viaduct) 2166 6600 w
-(minibrick) 2565 6600 w
-(is) 3057 6600 w
-(a) 3174 6600 w
-(small) 3266 6600 w
-(\(12x9x3) 3559 6600 w
-(cm\)) 4002 6600 w
-(low-cost) 4215 6600 w
-(embed\255) 4676 6600 w
-(ded) 720 6720 w
-(computer) 944 6720 w
-(consisting) 1450 6720 w
-(of) 1987 6720 w
-(a) 2128 6720 w
-(50Mhz) 2226 6720 w
-(MPC850,) 2600 6720 w
-(16MB) 3074 6720 w
-(sdram,) 3387 6720 w
-(2MB) 3765 6720 w
-(flash,) 4015 6720 w
-(and) 4324 6720 w
-(two) 4547 6720 w
-(10Mb) 4765 6720 w
-(Ethernet) 720 6840 w
-(ports.) 1178 6840 w
-(It) 1548 6840 w
-(is) 1666 6840 w
-(designed) 1798 6840 w
-(for) 2292 6840 w
-(home/SOHO) 2483 6840 w
-(networking) 3144 6840 w
-(applications) 3741 6840 w
-(such) 4378 6840 w
-(as) 4656 6840 w
-(VPN,) 4814 6840 w
-(firewalls, NAT, etc.) 720 6960 w
+(Plan) 970 6648 w
+(9) 1213 6648 w
+(runs) 1318 6648 w
+(on) 1576 6648 w
+(the) 1741 6648 w
+(Alpha) 1938 6648 w
+(PC) 2258 6648 w
+(164.) 2424 6648 w
+(The) 2719 6648 w
+(Alpha) 2942 6648 w
+(port) 3262 6648 w
+(has) 3506 6648 w
+(not) 3716 6648 w
+(been) 3919 6648 w
+(used) 4199 6648 w
+(as) 4474 6648 w
+(much) 4623 6648 w
+(as) 4934 6648 w
+(the others, and should be considered a preliminary release.) 720 6768 w
+(The) 970 6924 w
+(port) 1196 6924 w
+(uses) 1443 6924 w
+(the) 1708 6924 w
+(OSF/1) 1908 6924 w
+(flavor) 2255 6924 w
+(of) 2576 6924 w
+(PALcode,) 2720 6924 w
+(and) 3206 6924 w
+(should) 3432 6924 w
+(be) 3806 6924 w
+(booted) 3971 6924 w
+(from) 4358 6924 w
+(the) 4636 6924 w
+(SRM) 4837 6924 w
+(firmware) 720 7044 w
+(\(booting) 1182 7044 w
+(from) 1623 7044 w
+(ARC) 1888 7044 w
+(is) 2122 7044 w
+(not) 2235 7044 w
+(supported\).) 2428 7044 w
+(Supported devices are a subset of the PC) 3054 7044 w
+(ones;) 720 7164 w
+(currently) 1015 7164 w
+(this) 1479 7164 w
+(includes) 1691 7164 w
+(DECchip) 2127 7164 w
+(2114x-based) 2563 7164 w
+(ethernet) 3255 7164 w
+(cards,) 3695 7164 w
+(S3) 4021 7164 w
+(VGA) 4171 7164 w
+(cards,) 4411 7164 w
+(Sound) 4738 7164 w
+(Blaster 16-compatible audio, floppy drives, and ATA hard disks.) 720 7284 w
 cleartomark
 showpage
 saveobj restore
@@ -5745,478 +5800,474 @@
 5 pagesetup
 10 /LucidaSansUnicode00 f
 (\255 5 \255) 2783 480 w
-(The) 970 840 w
-(kernel) 1184 840 w
-(has) 1519 840 w
-(also) 1720 840 w
-(been) 1949 840 w
-(ported) 2219 840 w
-(to) 2573 840 w
-(the) 2704 840 w
-(Motorola) 2892 840 w
-(MTX) 3357 840 w
-(embedded) 3603 840 w
-(motherboard;) 4150 840 w
-(that) 4849 840 w
-(port) 720 960 w
-(is) 973 960 w
-(included) 1104 960 w
-(in) 1570 960 w
-(the) 1712 960 w
-(distribution.) 1918 960 w
-(The) 2596 960 w
-(port) 2827 960 w
-(only) 3079 960 w
-(works) 3333 960 w
-(with) 3671 960 w
-(a) 3926 960 w
-(604e) 4031 960 w
-(processor) 4326 960 w
-(\(the) 4852 960 w
-(603e is substantially different\) and at present only a single CPU is permitted.) 720 1080 w
+(The system has to be booted via tftp.) 970 840 w
+(See) 2847 840 w
+10 /LucidaSans-Italic f
+(booting) 3045 840 w
+10 /LucidaSansUnicode00 f
+(\(8\) for details.) 3410 840 w
+10 /LucidaSans-Demi f
+(The PowerPC operating system) 720 1080 w
+10 /LucidaSansUnicode00 f
 (We) 970 1236 w
-(have) 1149 1236 w
-(ports) 1411 1236 w
-(to) 1702 1236 w
-(the) 1838 1236 w
-(Xilinx) 2031 1236 w
-(Virtex) 2342 1236 w
-(4) 2669 1236 w
-(and) 2770 1236 w
-(5) 2988 1236 w
-(FPGAs) 3089 1236 w
-(which) 3428 1236 w
-(use) 3747 1236 w
-(PowerPC) 3954 1236 w
-(405) 4406 1236 w
-(and) 4633 1236 w
-(440) 4851 1236 w
-(processors, respectively.) 720 1356 w
+(have) 1168 1236 w
+(a) 1449 1236 w
+(version) 1560 1236 w
+(of) 1968 1236 w
+(the) 2122 1236 w
+(system) 2334 1236 w
+(that) 2731 1236 w
+(runs) 2979 1236 w
+(on) 3252 1236 w
+(the) 3432 1236 w
+(PowerPC) 3644 1236 w
+(on) 4115 1236 w
+(a) 4295 1236 w
+(home-grown) 4407 1236 w
+(machine) 720 1356 w
+(called) 1165 1356 w
+(Viaduct.) 1485 1356 w
+(The) 1948 1356 w
+(Viaduct) 2166 1356 w
+(minibrick) 2565 1356 w
+(is) 3057 1356 w
+(a) 3174 1356 w
+(small) 3266 1356 w
+(\(12x9x3) 3559 1356 w
+(cm\)) 4002 1356 w
+(low-cost) 4215 1356 w
+(embed\255) 4676 1356 w
+(ded) 720 1476 w
+(computer) 944 1476 w
+(consisting) 1450 1476 w
+(of) 1987 1476 w
+(a) 2128 1476 w
+(50Mhz) 2226 1476 w
+(MPC850,) 2600 1476 w
+(16MB) 3074 1476 w
+(sdram,) 3387 1476 w
+(2MB) 3765 1476 w
+(flash,) 4015 1476 w
+(and) 4324 1476 w
+(two) 4547 1476 w
+(10Mb) 4765 1476 w
+(Ethernet) 720 1596 w
+(ports.) 1178 1596 w
+(It) 1548 1596 w
+(is) 1666 1596 w
+(designed) 1798 1596 w
+(for) 2292 1596 w
+(home/SOHO) 2483 1596 w
+(networking) 3144 1596 w
+(applications) 3741 1596 w
+(such) 4378 1596 w
+(as) 4656 1596 w
+(VPN,) 4814 1596 w
+(firewalls, NAT, etc.) 720 1716 w
+(The) 970 1872 w
+(kernel) 1184 1872 w
+(has) 1519 1872 w
+(also) 1720 1872 w
+(been) 1949 1872 w
+(ported) 2219 1872 w
+(to) 2573 1872 w
+(the) 2704 1872 w
+(Motorola) 2892 1872 w
+(MTX) 3357 1872 w
+(embedded) 3603 1872 w
+(motherboard;) 4150 1872 w
+(that) 4849 1872 w
+(port) 720 1992 w
+(is) 973 1992 w
+(included) 1104 1992 w
+(in) 1570 1992 w
+(the) 1712 1992 w
+(distribution.) 1918 1992 w
+(The) 2596 1992 w
+(port) 2827 1992 w
+(only) 3079 1992 w
+(works) 3333 1992 w
+(with) 3671 1992 w
+(a) 3926 1992 w
+(604e) 4031 1992 w
+(processor) 4326 1992 w
+(\(the) 4852 1992 w
+(603e is substantially different\) and at present only a single CPU is permitted.) 720 2112 w
+(We) 970 2268 w
+(have) 1149 2268 w
+(ports) 1411 2268 w
+(to) 1702 2268 w
+(the) 1838 2268 w
+(Xilinx) 2031 2268 w
+(Virtex) 2342 2268 w
+(4) 2669 2268 w
+(and) 2770 2268 w
+(5) 2988 2268 w
+(FPGAs) 3089 2268 w
+(which) 3428 2268 w
+(use) 3747 2268 w
+(PowerPC) 3954 2268 w
+(405) 4406 2268 w
+(and) 4633 2268 w
+(440) 4851 2268 w
+(processors, respectively.) 720 2388 w
 10 /LucidaSans-Demi f
-(The Compaq iPAQ operating system) 720 1596 w
+(The Compaq iPAQ operating system) 720 2628 w
 10 /LucidaSansUnicode00 f
-(Plan 9 was ported to Compaq) 970 1752 w
+(Plan 9 was ported to Compaq) 970 2784 w
 10 /LucidaSansUnicode20 f
-(\031) 2400 1752 w
+(\031) 2400 2784 w
 10 /LucidaSansUnicode00 f
-(s iPAQ Pocket PC, which uses) 2432 1752 w
-(the) 3882 1752 w
-(StrongArm) 4070 1752 w
-(SA1) 4623 1752 w
-(pro\255) 4842 1752 w
-(cessor.) 720 1872 w
-(The) 1138 1872 w
-(model) 1362 1872 w
-(we) 1707 1872 w
-(have) 1883 1872 w
-(is) 2151 1872 w
-(a) 2274 1872 w
-(3630;) 2372 1872 w
-(neighboring) 2698 1872 w
-(models) 3329 1872 w
-(also) 3724 1872 w
-(work.) 3962 1872 w
-(The) 4305 1872 w
-(kernel) 4528 1872 w
-(can) 4872 1872 w
-(drive) 720 1992 w
-(a) 1008 1992 w
-(PCMCIA) 1110 1992 w
-(sleeve) 1534 1992 w
-(with) 1881 1992 w
-(a) 2133 1992 w
-(WaveLAN) 2235 1992 w
-(card,) 2727 1992 w
-(but) 3016 1992 w
-(no) 3225 1992 w
-(other) 3395 1992 w
-(PCMCIA) 3699 1992 w
-(devices) 4124 1992 w
-(have) 4530 1992 w
-(been) 4803 1992 w
-(ported yet.) 720 2112 w
-(The) 970 2268 w
-(iPAQ) 1187 2268 w
-(runs) 1455 2268 w
+(s iPAQ Pocket PC, which uses) 2432 2784 w
+(the) 3882 2784 w
+(StrongArm) 4070 2784 w
+(SA1) 4623 2784 w
+(pro\255) 4842 2784 w
+(cessor.) 720 2904 w
+(The) 1138 2904 w
+(model) 1362 2904 w
+(we) 1707 2904 w
+(have) 1883 2904 w
+(is) 2151 2904 w
+(a) 2274 2904 w
+(3630;) 2372 2904 w
+(neighboring) 2698 2904 w
+(models) 3329 2904 w
+(also) 3724 2904 w
+(work.) 3962 2904 w
+(The) 4305 2904 w
+(kernel) 4528 2904 w
+(can) 4872 2904 w
+(drive) 720 3024 w
+(a) 1008 3024 w
+(PCMCIA) 1110 3024 w
+(sleeve) 1534 3024 w
+(with) 1881 3024 w
+(a) 2133 3024 w
+(WaveLAN) 2235 3024 w
+(card,) 2727 3024 w
+(but) 3016 3024 w
+(no) 3225 3024 w
+(other) 3395 3024 w
+(PCMCIA) 3699 3024 w
+(devices) 4124 3024 w
+(have) 4530 3024 w
+(been) 4803 3024 w
+(ported yet.) 720 3144 w
+(The) 970 3300 w
+(iPAQ) 1187 3300 w
+(runs) 1455 3300 w
 10 /LucidaTypewriter f
-(rio) 1708 2268 w
+(rio) 1708 3300 w
 10 /LucidaSansUnicode00 f
-(with) 1961 2268 w
-(a) 2203 2268 w
-(small) 2295 2268 w
-(keyboard) 2589 2268 w
-(application) 3075 2268 w
-(that) 3646 2268 w
-(allows) 3874 2268 w
-(Palm-style) 4213 2268 w
-(hand\255) 4765 2268 w
-(writing input as well as typing with the stylus on a miniature keyboard.) 720 2388 w
-(Fco.) 970 2544 w
-(J.) 1207 2544 w
-(Ballesteros) 1309 2544 w
-(\() 1872 2544 w
+(with) 1961 3300 w
+(a) 2203 3300 w
+(small) 2295 3300 w
+(keyboard) 2589 3300 w
+(application) 3075 3300 w
+(that) 3646 3300 w
+(allows) 3874 3300 w
+(Palm-style) 4213 3300 w
+(hand\255) 4765 3300 w
+(writing input as well as typing with the stylus on a miniature keyboard.) 720 3420 w
+(Fco.) 970 3576 w
+(J.) 1207 3576 w
+(Ballesteros) 1309 3576 w
+(\() 1872 3576 w
 10 /LucidaTypewriter f
-(nemo@plan9.escet.urjc.es) 1905 2544 w
+(nemo@plan9.escet.urjc.es) 1905 3576 w
 10 /LucidaSansUnicode00 f
-(\)) 3633 2544 w
-(added) 3705 2544 w
-(support) 4044 2544 w
-(for) 4461 2544 w
-(hiberna\255) 4639 2544 w
-(tion,) 720 2664 w
-(but) 982 2664 w
-(we) 1185 2664 w
-(haven) 1359 2664 w
+(\)) 3633 3576 w
+(added) 3705 3576 w
+(support) 4044 3576 w
+(for) 4461 3576 w
+(hiberna\255) 4639 3576 w
+(tion,) 720 3696 w
+(but) 982 3696 w
+(we) 1185 3696 w
+(haven) 1359 3696 w
 10 /LucidaSansUnicode20 f
-(\031) 1646 2664 w
+(\031) 1646 3696 w
 10 /LucidaSansUnicode00 f
-(t) 1678 2664 w
-(been) 1756 2664 w
-(able) 2034 2664 w
-(to) 2277 2664 w
-(get) 2415 2664 w
-(that) 2610 2664 w
-(to) 2841 2664 w
-(work) 2979 2664 w
-(again) 3256 2664 w
-(in) 3559 2664 w
-(the) 3690 2664 w
-(new) 3885 2664 w
-(kernel;) 4120 2664 w
-(the) 4494 2664 w
-(code) 4689 2664 w
-(is) 4960 2664 w
-(there,) 720 2784 w
-(however,) 1216 2784 w
-(for) 1865 2784 w
-(volunteers) 2217 2784 w
-(to) 2937 2784 w
-(play) 3248 2784 w
-(with.) 3660 2784 w
-(See) 4142 2784 w
-(the) 4521 2784 w
-(file) 4889 2784 w
+(t) 1678 3696 w
+(been) 1756 3696 w
+(able) 2034 3696 w
+(to) 2277 3696 w
+(get) 2415 3696 w
+(that) 2610 3696 w
+(to) 2841 3696 w
+(work) 2979 3696 w
+(again) 3256 3696 w
+(in) 3559 3696 w
+(the) 3690 3696 w
+(new) 3885 3696 w
+(kernel;) 4120 3696 w
+(the) 4494 3696 w
+(code) 4689 3696 w
+(is) 4960 3696 w
+(there,) 720 3816 w
+(however,) 1216 3816 w
+(for) 1865 3816 w
+(volunteers) 2217 3816 w
+(to) 2937 3816 w
+(play) 3248 3816 w
+(with.) 3660 3816 w
+(See) 4142 3816 w
+(the) 4521 3816 w
+(file) 4889 3816 w
 10 /LucidaTypewriter f
-(/sys/src/9/bitsy/Booting101) 720 2904 w
+(/sys/src/9/bitsy/Booting101) 720 3936 w
 10 /LucidaSansUnicode00 f
-(for) 2715 2904 w
-(information) 2905 2904 w
-(about) 3523 2904 w
-(installing) 3852 2904 w
-(Plan) 4348 2904 w
-(9) 4599 2904 w
-(on) 4712 2904 w
-(the) 4885 2904 w
-(iPAQ.) 720 3024 w
+(for) 2715 3936 w
+(information) 2905 3936 w
+(about) 3523 3936 w
+(installing) 3852 3936 w
+(Plan) 4348 3936 w
+(9) 4599 3936 w
+(on) 4712 3936 w
+(the) 4885 3936 w
+(iPAQ.) 720 4056 w
 10 /LucidaSans-Demi f
-(The Marvell Kirkwood operating system) 720 3264 w
+(The Marvell Kirkwood operating system) 720 4296 w
 10 /LucidaSansUnicode00 f
-(This) 970 3420 w
-(is) 1222 3420 w
-(an) 1349 3420 w
-(ARM) 1513 3420 w
-(kernel) 1778 3420 w
-(for) 2127 3420 w
-(the) 2314 3420 w
-(ARM926EJ-S) 2517 3420 w
-(processor) 3169 3420 w
-(and) 3693 3420 w
-(it) 3921 3420 w
-(emulates) 4035 3420 w
-(ARM) 4522 3420 w
-(7500) 4788 3420 w
-(floating-point) 720 3540 w
-(and) 1456 3540 w
-(CAS) 1690 3540 w
-(\(compare-and-swap\)) 1936 3540 w
-(instructions.) 3018 3540 w
-(It) 3709 3540 w
-(is) 3829 3540 w
-(known) 3963 3540 w
-(to) 4337 3540 w
-(run) 4489 3540 w
-(on) 4708 3540 w
-(the) 4885 3540 w
-(Sheevaplug,) 720 3660 w
-(Guruplug,) 1344 3660 w
-(Dreamplug) 1870 3660 w
-(and) 2447 3660 w
-(Openrd-client) 2668 3660 w
-(boards.) 3395 3660 w
-(It) 3835 3660 w
-(is) 3943 3660 w
-(derived) 4065 3660 w
-(from) 4467 3660 w
-(a) 4741 3660 w
-(port) 4838 3660 w
-(of) 720 3780 w
-(native) 854 3780 w
-(Inferno) 1181 3780 w
-(to) 1565 3780 w
-(the) 1699 3780 w
-(Sheevaplug) 1889 3780 w
-(by) 2475 3780 w
-(Salva) 2625 3780 w
-(Peir\363) 2905 3780 w
-(and) 3182 3780 w
-(Mechiel) 3397 3780 w
-(Lukkien.) 3801 3780 w
-(There) 4278 3780 w
-(are) 4591 3780 w
-(many) 4778 3780 w
-(features) 720 3900 w
-(of) 1149 3900 w
-(the) 1281 3900 w
-(Kirkwood) 1470 3900 w
-(system-on-a-chip) 1959 3900 w
-(that) 2890 3900 w
-(it) 3115 3900 w
-(does) 3215 3900 w
-(not) 3480 3900 w
-(exploit.) 3674 3900 w
-(There) 4109 3900 w
-(are) 4422 3900 w
-(currently) 4609 3900 w
-(drivers) 720 4020 w
-(for) 1102 4020 w
-(up) 1290 4020 w
-(to) 1464 4020 w
-(two) 1611 4020 w
-(Gigabit) 1834 4020 w
-(Ethernet) 2229 4020 w
-(interfaces,) 2682 4020 w
-(USB) 3237 4020 w
-(and) 3466 4020 w
-(the) 3694 4020 w
-(console) 3897 4020 w
-(serial) 4316 4020 w
-(port;) 4625 4020 w
-(we) 4907 4020 w
-(hope to add crypto acceleration, and a video driver for the Openrd-client.) 720 4140 w
+(This) 970 4452 w
+(is) 1222 4452 w
+(an) 1349 4452 w
+(ARM) 1513 4452 w
+(kernel) 1778 4452 w
+(for) 2127 4452 w
+(the) 2314 4452 w
+(ARM926EJ-S) 2517 4452 w
+(processor) 3169 4452 w
+(and) 3693 4452 w
+(it) 3921 4452 w
+(emulates) 4035 4452 w
+(ARM) 4522 4452 w
+(7500) 4788 4452 w
+(floating-point) 720 4572 w
+(and) 1456 4572 w
+(CAS) 1690 4572 w
+(\(compare-and-swap\)) 1936 4572 w
+(instructions.) 3018 4572 w
+(It) 3709 4572 w
+(is) 3829 4572 w
+(known) 3963 4572 w
+(to) 4337 4572 w
+(run) 4489 4572 w
+(on) 4708 4572 w
+(the) 4885 4572 w
+(Sheevaplug,) 720 4692 w
+(Guruplug,) 1344 4692 w
+(Dreamplug) 1870 4692 w
+(and) 2447 4692 w
+(Openrd-client) 2668 4692 w
+(boards.) 3395 4692 w
+(It) 3835 4692 w
+(is) 3943 4692 w
+(derived) 4065 4692 w
+(from) 4467 4692 w
+(a) 4741 4692 w
+(port) 4838 4692 w
+(of) 720 4812 w
+(native) 854 4812 w
+(Inferno) 1181 4812 w
+(to) 1565 4812 w
+(the) 1699 4812 w
+(Sheevaplug) 1889 4812 w
+(by) 2475 4812 w
+(Salva) 2625 4812 w
+(Peir\363) 2905 4812 w
+(and) 3182 4812 w
+(Mechiel) 3397 4812 w
+(Lukkien.) 3801 4812 w
+(There) 4278 4812 w
+(are) 4591 4812 w
+(many) 4778 4812 w
+(features) 720 4932 w
+(of) 1149 4932 w
+(the) 1281 4932 w
+(Kirkwood) 1470 4932 w
+(system-on-a-chip) 1959 4932 w
+(that) 2890 4932 w
+(it) 3115 4932 w
+(does) 3215 4932 w
+(not) 3480 4932 w
+(exploit.) 3674 4932 w
+(There) 4109 4932 w
+(are) 4422 4932 w
+(currently) 4609 4932 w
+(drivers) 720 5052 w
+(for) 1102 5052 w
+(up) 1290 5052 w
+(to) 1464 5052 w
+(two) 1611 5052 w
+(Gigabit) 1834 5052 w
+(Ethernet) 2229 5052 w
+(interfaces,) 2682 5052 w
+(USB) 3237 5052 w
+(and) 3466 5052 w
+(the) 3694 5052 w
+(console) 3897 5052 w
+(serial) 4316 5052 w
+(port;) 4625 5052 w
+(we) 4907 5052 w
+(hope to add crypto acceleration, and a video driver for the Openrd-client.) 720 5172 w
 10 /LucidaSans-Demi f
-(The Marvell PXA168 operating system) 720 4380 w
+(The Marvell PXA168 operating system) 720 5412 w
 10 /LucidaSansUnicode00 f
-(This) 970 4536 w
-(is) 1243 4536 w
-(an) 1391 4536 w
-(ARM) 1577 4536 w
-(kernel) 1864 4536 w
-(for) 2235 4536 w
-(the) 2443 4536 w
-(ARM-v5-architecture) 2667 4536 w
-(processor) 3763 4536 w
-(in) 4308 4536 w
-(the) 4468 4536 w
-(Marvell) 4692 4536 w
-(PXA168) 720 4656 w
-(system-on-a-chip) 1190 4656 w
-(and) 2180 4656 w
-(it) 2453 4656 w
-(emulates) 2612 4656 w
-(ARM) 3144 4656 w
-(7500) 3455 4656 w
-(floating-point) 3800 4656 w
-(and) 4575 4656 w
-(CAS) 4848 4656 w
-(\(compare-and-swap\)) 720 4776 w
-(instructions.) 1793 4776 w
-(It) 2475 4776 w
-(is) 2586 4776 w
-(known) 2711 4776 w
-(to) 3076 4776 w
-(run) 3219 4776 w
-(on) 3429 4776 w
-(the) 3598 4776 w
-(Guruplug) 3799 4776 w
-(Display.) 4298 4776 w
-(There) 4762 4776 w
-(are) 720 4896 w
-(many) 907 4896 w
-(features) 1204 4896 w
-(of) 1634 4896 w
-(the) 1767 4896 w
-(system-on-a-chip) 1957 4896 w
-(that) 2889 4896 w
-(it) 3115 4896 w
-(does) 3216 4896 w
-(not) 3482 4896 w
-(exploit.) 3677 4896 w
-(There) 4111 4896 w
-(are) 4423 4896 w
-(currently) 4609 4896 w
-(drivers) 720 5016 w
-(for) 1091 5016 w
-(a) 1268 5016 w
-(Fast) 1361 5016 w
-(Ethernet) 1596 5016 w
-(interface,) 2039 5016 w
-(and) 2533 5016 w
-(the) 2751 5016 w
-(console) 2944 5016 w
-(serial) 3353 5016 w
-(port;) 3652 5016 w
-(we) 3925 5016 w
-(hope) 4097 5016 w
-(to) 4378 5016 w
-(add) 4515 5016 w
-(crypto) 4735 5016 w
-(acceleration, and a video driver.) 720 5136 w
+(This) 970 5568 w
+(is) 1243 5568 w
+(an) 1391 5568 w
+(ARM) 1577 5568 w
+(kernel) 1864 5568 w
+(for) 2235 5568 w
+(the) 2443 5568 w
+(ARM-v5-architecture) 2667 5568 w
+(processor) 3763 5568 w
+(in) 4308 5568 w
+(the) 4468 5568 w
+(Marvell) 4692 5568 w
+(PXA168) 720 5688 w
+(system-on-a-chip) 1190 5688 w
+(and) 2180 5688 w
+(it) 2453 5688 w
+(emulates) 2612 5688 w
+(ARM) 3144 5688 w
+(7500) 3455 5688 w
+(floating-point) 3800 5688 w
+(and) 4575 5688 w
+(CAS) 4848 5688 w
+(\(compare-and-swap\)) 720 5808 w
+(instructions.) 1793 5808 w
+(It) 2475 5808 w
+(is) 2586 5808 w
+(known) 2711 5808 w
+(to) 3076 5808 w
+(run) 3219 5808 w
+(on) 3429 5808 w
+(the) 3598 5808 w
+(Guruplug) 3799 5808 w
+(Display.) 4298 5808 w
+(There) 4762 5808 w
+(are) 720 5928 w
+(many) 907 5928 w
+(features) 1204 5928 w
+(of) 1634 5928 w
+(the) 1767 5928 w
+(system-on-a-chip) 1957 5928 w
+(that) 2889 5928 w
+(it) 3115 5928 w
+(does) 3216 5928 w
+(not) 3482 5928 w
+(exploit.) 3677 5928 w
+(There) 4111 5928 w
+(are) 4423 5928 w
+(currently) 4609 5928 w
+(drivers) 720 6048 w
+(for) 1091 6048 w
+(a) 1268 6048 w
+(Fast) 1361 6048 w
+(Ethernet) 1596 6048 w
+(interface,) 2039 6048 w
+(and) 2533 6048 w
+(the) 2751 6048 w
+(console) 2944 6048 w
+(serial) 3353 6048 w
+(port;) 3652 6048 w
+(we) 3925 6048 w
+(hope) 4097 6048 w
+(to) 4378 6048 w
+(add) 4515 6048 w
+(crypto) 4735 6048 w
+(acceleration, and a video driver.) 720 6168 w
 10 /LucidaSans-Demi f
-(The TI OMAP35 operating system) 720 5376 w
+(The TI OMAP35 operating system) 720 6408 w
 10 /LucidaSansUnicode00 f
-(This) 970 5532 w
-(is) 1229 5532 w
-(an) 1363 5532 w
-(ARM) 1534 5532 w
-(kernel) 1806 5532 w
-(for) 2162 5532 w
-(the) 2355 5532 w
-(Cortex-A8) 2564 5532 w
-(processor) 3134 5532 w
-(and) 3665 5532 w
-(it) 3900 5532 w
-(emulates) 4021 5532 w
-(ARM) 4515 5532 w
-(7500) 4788 5532 w
-(floating-point) 720 5652 w
-(and) 1456 5652 w
-(CAS) 1690 5652 w
-(\(compare-and-swap\)) 1936 5652 w
-(instructions.) 3018 5652 w
-(It) 3709 5652 w
-(is) 3829 5652 w
-(known) 3963 5652 w
-(to) 4337 5652 w
-(run) 4489 5652 w
-(on) 4708 5652 w
-(the) 4885 5652 w
-(IGEPv2) 720 5772 w
-(board) 1097 5772 w
-(and) 1432 5772 w
-(the) 1664 5772 w
-(Gumstix) 1871 5772 w
-(Overo,) 2328 5772 w
-(and) 2700 5772 w
-(might) 2932 5772 w
-(eventually) 3267 5772 w
-(run) 3809 5772 w
-(on) 4026 5772 w
-(the) 4201 5772 w
-(Beagleboard,) 4409 5772 w
-(once) 720 5892 w
-(USB) 996 5892 w
-(is) 1223 5892 w
-(working.) 1349 5892 w
-(There) 1849 5892 w
-(are) 2173 5892 w
-(many) 2371 5892 w
-(features) 2679 5892 w
-(of) 3120 5892 w
-(the) 3263 5892 w
-(OMAP) 3463 5892 w
-(system-on-a-chip) 3796 5892 w
-(that) 4738 5892 w
-(it) 4974 5892 w
-(does) 720 6012 w
-(not) 989 6012 w
-(exploit.) 1187 6012 w
-(Initially,) 1625 6012 w
-(there) 2046 6012 w
-(are) 2336 6012 w
-(drivers) 2526 6012 w
-(for) 2897 6012 w
-(the) 3074 6012 w
-(SMSC) 3267 6012 w
-(9221) 3568 6012 w
-(100Mb/s) 3858 6012 w
-(Ethernet) 4338 6012 w
-(inter\255) 4782 6012 w
-(face) 720 6132 w
-(in) 966 6132 w
-(the) 1104 6132 w
-(IGEPv2) 1306 6132 w
-(and) 1678 6132 w
-(Overo,) 1905 6132 w
-(and) 2272 6132 w
-(the) 2499 6132 w
-(console) 2701 6132 w
-(serial) 3119 6132 w
-(port;) 3427 6132 w
-(we) 3708 6132 w
-(hope) 3888 6132 w
-(to) 4176 6132 w
-(add) 4320 6132 w
-(USB,) 4547 6132 w
-(flash) 4806 6132 w
-(memory and video drivers.) 720 6252 w
-10 /LucidaSans-Demi f
-(The Nvidia Tegra2 operating system) 720 6492 w
-10 /LucidaSansUnicode00 f
-(This) 970 6648 w
-(is) 1230 6648 w
-(an) 1365 6648 w
-(ARM) 1537 6648 w
-(kernel) 1810 6648 w
-(for) 2167 6648 w
-(the) 2361 6648 w
-(dual) 2571 6648 w
-(Cortex-A9) 2835 6648 w
-(processors) 3405 6648 w
-(in) 3987 6648 w
-(the) 4133 6648 w
-(Nvidia) 4343 6648 w
-(Tegra2) 4700 6648 w
-(system-on-a-chip) 720 6768 w
-(and) 1669 6768 w
-(it) 1901 6768 w
-(emulates) 2019 6768 w
-(ARM) 2510 6768 w
-(7500) 2780 6768 w
-(floating-point) 3084 6768 w
-(and) 3817 6768 w
-(CAS) 4048 6768 w
-(\(compare-and-) 4291 6768 w
-(swap\)) 720 6888 w
-(instructions,) 1037 6888 w
-(but) 1681 6888 w
-(the) 1882 6888 w
-(hardware) 2076 6888 w
-(includes) 2565 6888 w
-(VFP3) 3007 6888 w
-(floating-point.) 3283 6888 w
-(It) 4068 6888 w
-(runs) 4173 6888 w
-(on) 4428 6888 w
-(the) 4590 6888 w
-(Com\255) 4784 6888 w
-(pulab) 720 7008 w
-(Trimslice.) 1047 7008 w
-(There) 1608 7008 w
-(are) 1941 7008 w
-(many) 2148 7008 w
-(features) 2465 7008 w
-(of) 2915 7008 w
-(the) 3068 7008 w
-(system-on-a-chip) 3278 7008 w
-(that) 4230 7008 w
-(it) 4475 7008 w
-(does) 4595 7008 w
-(not) 4880 7008 w
-(exploit.) 720 7128 w
-(Initially,) 1156 7128 w
-(there) 1575 7128 w
-(are) 1863 7128 w
-(drivers) 2051 7128 w
-(for) 2420 7128 w
-(the) 2596 7128 w
-(Ethernet) 2788 7128 w
-(interface) 3230 7128 w
-(and) 3691 7128 w
-(the) 3908 7128 w
-(console) 4100 7128 w
-(serial) 4508 7128 w
-(port;) 4806 7128 w
-(we hope to add USB, flash memory and video drivers.) 720 7248 w
+(This) 970 6564 w
+(is) 1229 6564 w
+(an) 1363 6564 w
+(ARM) 1534 6564 w
+(kernel) 1806 6564 w
+(for) 2162 6564 w
+(the) 2355 6564 w
+(Cortex-A8) 2564 6564 w
+(processor) 3134 6564 w
+(and) 3665 6564 w
+(it) 3900 6564 w
+(emulates) 4021 6564 w
+(ARM) 4515 6564 w
+(7500) 4788 6564 w
+(floating-point) 720 6684 w
+(and) 1456 6684 w
+(CAS) 1690 6684 w
+(\(compare-and-swap\)) 1936 6684 w
+(instructions.) 3018 6684 w
+(It) 3709 6684 w
+(is) 3829 6684 w
+(known) 3963 6684 w
+(to) 4337 6684 w
+(run) 4489 6684 w
+(on) 4708 6684 w
+(the) 4885 6684 w
+(IGEPv2) 720 6804 w
+(board) 1097 6804 w
+(and) 1432 6804 w
+(the) 1664 6804 w
+(Gumstix) 1871 6804 w
+(Overo,) 2328 6804 w
+(and) 2700 6804 w
+(might) 2932 6804 w
+(eventually) 3267 6804 w
+(run) 3809 6804 w
+(on) 4026 6804 w
+(the) 4201 6804 w
+(Beagleboard,) 4409 6804 w
+(once) 720 6924 w
+(USB) 996 6924 w
+(is) 1223 6924 w
+(working.) 1349 6924 w
+(There) 1849 6924 w
+(are) 2173 6924 w
+(many) 2371 6924 w
+(features) 2679 6924 w
+(of) 3120 6924 w
+(the) 3263 6924 w
+(OMAP) 3463 6924 w
+(system-on-a-chip) 3796 6924 w
+(that) 4738 6924 w
+(it) 4974 6924 w
+(does) 720 7044 w
+(not) 989 7044 w
+(exploit.) 1187 7044 w
+(Initially,) 1625 7044 w
+(there) 2046 7044 w
+(are) 2336 7044 w
+(drivers) 2526 7044 w
+(for) 2897 7044 w
+(the) 3074 7044 w
+(SMSC) 3267 7044 w
+(9221) 3568 7044 w
+(100Mb/s) 3858 7044 w
+(Ethernet) 4338 7044 w
+(inter\255) 4782 7044 w
+(face) 720 7164 w
+(in) 966 7164 w
+(the) 1104 7164 w
+(IGEPv2) 1306 7164 w
+(and) 1678 7164 w
+(Overo,) 1905 7164 w
+(and) 2272 7164 w
+(the) 2499 7164 w
+(console) 2701 7164 w
+(serial) 3119 7164 w
+(port;) 3427 7164 w
+(we) 3708 7164 w
+(hope) 3888 7164 w
+(to) 4176 7164 w
+(add) 4320 7164 w
+(USB,) 4547 7164 w
+(flash) 4806 7164 w
+(memory and video drivers.) 720 7284 w
 cleartomark
 showpage
 saveobj restore
@@ -6228,34 +6279,102 @@
 10 /LucidaSansUnicode00 f
 (\255 6 \255) 2783 480 w
 10 /LucidaSans-Demi f
-(The Broadcom 2835 operating system) 720 840 w
+(The Nvidia Tegra2 operating system) 720 840 w
 10 /LucidaSansUnicode00 f
 (This) 970 996 w
-(consists) 1209 996 w
-(of) 1636 996 w
-(terminal) 1768 996 w
-(and) 2204 996 w
-(CPU) 2418 996 w
-(kernels) 2645 996 w
-(for) 3033 996 w
-(the) 3207 996 w
-(ARM1176) 3397 996 w
-(processor) 3902 996 w
-(in) 4413 996 w
-(the) 4539 996 w
-(Broad\255) 4729 996 w
-(com) 720 1116 w
-(2835) 973 1116 w
-(system-on-a-chip.) 1273 1116 w
-(The) 2282 1116 w
-(hardware) 2511 1116 w
-(includes) 3009 1116 w
-(VFP2) 3460 1116 w
-(floating-point.) 3745 1116 w
-(It) 4539 1116 w
-(runs) 4653 1116 w
-(on) 4917 1116 w
-(the Raspberry Pi Models A and B.) 720 1236 w
+(is) 1230 996 w
+(an) 1365 996 w
+(ARM) 1537 996 w
+(kernel) 1810 996 w
+(for) 2167 996 w
+(the) 2361 996 w
+(dual) 2571 996 w
+(Cortex-A9) 2835 996 w
+(processors) 3405 996 w
+(in) 3987 996 w
+(the) 4133 996 w
+(Nvidia) 4343 996 w
+(Tegra2) 4700 996 w
+(system-on-a-chip) 720 1116 w
+(and) 1669 1116 w
+(it) 1901 1116 w
+(emulates) 2019 1116 w
+(ARM) 2510 1116 w
+(7500) 2780 1116 w
+(floating-point) 3084 1116 w
+(and) 3817 1116 w
+(CAS) 4048 1116 w
+(\(compare-and-) 4291 1116 w
+(swap\)) 720 1236 w
+(instructions,) 1037 1236 w
+(but) 1681 1236 w
+(the) 1882 1236 w
+(hardware) 2076 1236 w
+(includes) 2565 1236 w
+(VFP3) 3007 1236 w
+(floating-point.) 3283 1236 w
+(It) 4068 1236 w
+(runs) 4173 1236 w
+(on) 4428 1236 w
+(the) 4590 1236 w
+(Com\255) 4784 1236 w
+(pulab) 720 1356 w
+(Trimslice.) 1047 1356 w
+(There) 1608 1356 w
+(are) 1941 1356 w
+(many) 2148 1356 w
+(features) 2465 1356 w
+(of) 2915 1356 w
+(the) 3068 1356 w
+(system-on-a-chip) 3278 1356 w
+(that) 4230 1356 w
+(it) 4475 1356 w
+(does) 4595 1356 w
+(not) 4880 1356 w
+(exploit.) 720 1476 w
+(Initially,) 1156 1476 w
+(there) 1575 1476 w
+(are) 1863 1476 w
+(drivers) 2051 1476 w
+(for) 2420 1476 w
+(the) 2596 1476 w
+(Ethernet) 2788 1476 w
+(interface) 3230 1476 w
+(and) 3691 1476 w
+(the) 3908 1476 w
+(console) 4100 1476 w
+(serial) 4508 1476 w
+(port;) 4806 1476 w
+(we hope to add USB, flash memory and video drivers.) 720 1596 w
+10 /LucidaSans-Demi f
+(The Broadcom 2835 operating system) 720 1836 w
+10 /LucidaSansUnicode00 f
+(This) 970 1992 w
+(consists) 1209 1992 w
+(of) 1636 1992 w
+(terminal) 1768 1992 w
+(and) 2204 1992 w
+(CPU) 2418 1992 w
+(kernels) 2645 1992 w
+(for) 3033 1992 w
+(the) 3207 1992 w
+(ARM1176) 3397 1992 w
+(processor) 3902 1992 w
+(in) 4413 1992 w
+(the) 4539 1992 w
+(Broad\255) 4729 1992 w
+(com) 720 2112 w
+(2835) 973 2112 w
+(system-on-a-chip.) 1273 2112 w
+(The) 2282 2112 w
+(hardware) 2511 2112 w
+(includes) 3009 2112 w
+(VFP2) 3460 2112 w
+(floating-point.) 3745 2112 w
+(It) 4539 2112 w
+(runs) 4653 2112 w
+(on) 4917 2112 w
+(the Raspberry Pi Models A and B.) 720 2232 w
 cleartomark
 showpage
 saveobj restore