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