Name Date Size #Lines LOC

..--

MkH A D23-Jun-2021162 96

READMEH A D23-Jun-2021566 2315

archcerf.cH A D23-Jun-20212.7 KiB178138

cerfH A D23-Jun-20211.7 KiB163147

dat.hH A D23-Jun-20212.5 KiB136100

devata.cH A D23-Jun-202122.8 KiB1,201914

devcerf.cH A D23-Jun-20211.9 KiB129111

ether8900.cH A D23-Jun-202113.8 KiB703553

fns.hH A D23-Jun-20214.9 KiB180173

io.hH A D23-Jun-202132 21

main.cH A D23-Jun-20213.5 KiB256194

mem.hH A D23-Jun-20216.9 KiB201130

mkfileH A D23-Jun-20212.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