added license
[rpikern] / README.md
1 Raspberry Pi kernel hacking experiments
2 =======================================
3 Just having some fun and rage with the raspberry pi. The rest of this readme
4 file is basically a bunch of notes.
5
6 Copyright (C) 2018-2020 John Tsiombikas <nuclear@member.fsf.org>  
7 Free software, use/modify/redistribute under the terms of the GNU General Public
8 License v3, or later. See COPYING for details.
9
10 RPi Configuration
11 -----------------
12 In `config.txt`:
13     init_uart_clock=3000000
14     enable_uart=1
15     core_freq=250
16
17 TODO: should be possible to set these up through mailbox commands instead of
18   relying on config.txt.
19
20 netboot with uboot
21 ------------------
22 Put `rpikern.bin` in `/srv/tftp/`  (`make install`)
23
24 Once:
25     setenv serverip 192.168.0.4
26     setenv ipaddr 192.168.0.25
27     saveenv
28
29 Then:
30     tftpboot 0x8000 rpikern.bin
31     go 0x8000
32
33 TODO: make it automatic with a boot script