Name
Date
Size
#Lines
LOC

..--

MkH A D22-Dec-2006162 96

READMEH A D22-Dec-2006566 2315

archcerf.cH A D22-Dec-20062.7 KiB178138

cerfH A D02-Sep-20101.7 KiB163147

dat.hH A D22-Dec-20062.5 KiB136100

devata.cH A D22-Dec-200622.8 KiB1,201914

devcerf.cH A D22-Dec-20061.9 KiB129111

ether8900.cH A D22-Dec-200613.8 KiB703553

fns.hH A D22-Dec-20064.9 KiB180173

io.hH A D22-Dec-200632 21

main.cH A D22-Dec-20063.5 KiB256194

mem.hH A D22-Dec-20066.9 KiB201130

mkfileH A D22-Dec-20062.2 KiB10276

README

1Booting Inferno on a Cerf cube
2
3Build the /usr/inferno/os/cerf1110 kernel into /usr/inferno/os/cerf1110/icerf:
4	mk
5It uses common SA1110 code in ../sa1110, as well as ../port etc.
6
7Make that icerf file available to the cerf cube by tftp.  How you do that depends on
8your host system.
9
10It should then be easy:
11
121. Reset the cerf cube (power off/on), and quickly, during `Waiting for RTC to stabilize'
13	hit a key.
14
152. type
16	tftp /usr/inferno/os/cerf1110/icerf c0008000
17    with appropriate substitution for file name.
18
193. on success
20	boot c0008000 0 0
21
22it should run.
23