Name
Date
Size
#Lines
LOC

..--

READMEH A D22-Dec-20061.4 KiB4532

archcerf.cH A D22-Dec-20064.2 KiB267203

cerfH A D02-Sep-20101.7 KiB167150

dat.hH A D22-Dec-20062.5 KiB136100

devpcf8563.cH A D22-Dec-20065.7 KiB372276

ether91c111.cH A D22-Dec-200622.7 KiB1,057860

fns.hH A D22-Dec-20064.4 KiB169161

io.hH A D22-Dec-200626 21

main.cH A D22-Dec-20065.3 KiB352275

mem.hH A D22-Dec-20065.9 KiB175117

mkfileH A D22-Dec-20062.1 KiB10377

uart.hH A D22-Dec-20061.9 KiB11982

README

1Booting Inferno on a Cerfboard 250
2
3This is a preliminary version (work in progress) of Inferno
4on an Intrinsyc Cerfboard 250 (without daughterboard[s]).
5It and ../pxa were initially the results of a fairly idle `afternoon and an evening' port.
6A little work has been done on it since then.
7Updates will be available shortly to complete peripheral support
8(at least for the Cerfboard 250), and provide suspend mode.
9
10It allows Inferno to boot up and take resources from the net,
11chatting on the console.  I2C to the PCF8563 clock and EEPROMs is
12also supported.
13
14Substitute appropriate your own directory's name for /usr/inferno
15in the following.
16
17Build the /usr/inferno/os/cerf250 kernel into /usr/inferno/os/cerf250/icerf:
18	mk
19It uses common PXA25x code in ../pxa, as well as ../port etc.
20
21Make that icerf file available to the cerf cube by tftp.  How you do that depends on
22your host system.
23
24It should then be easy:
25
261. Reset the cerf cube (power off/on), and quickly, during `hit a key ...'
27	hit a key.
28
292. type
30	network.start()
31	download 10.0.0.1 "/usr/inferno/os/cerf250/icerf" 0xa0020000
32    with appropriate substitution for boot server and file name.
33
343. on success
35	jump 0xa0020020
36
37it should run.
38
39once you're happy with it, the kernel image can replace the Linux one in flash.
40i plan, however, to use my sqz code to compress it by about 50% with
41fast decompression.
42
43forsyth@vitanuova.com
44Fri Mar 19 16:42:07 GMT 2004
45