Oleksandr Tymoshenko
4063f92555
Add Raspberry Pi GPIO driver
...
Submitted by: Luiz Otavio O Souza
2012-11-23 20:04:39 +00:00
Oleksandr Tymoshenko
d914ecdf68
Now that we have working USB keyboard add ukbd to the syscons-enabling
...
part of config
2012-11-23 07:58:12 +00:00
Oleksandr Tymoshenko
a9387eb1df
Add BCM2835 SDHCI driver and enable it in Raspberry Pi config
2012-10-29 17:23:45 +00:00
Tim Kientzle
463443e509
Support boot loaders in the standard kernel.
2012-10-25 04:10:32 +00:00
John-Mark Gurney
3dad5721a6
fix the kernel files to match our standard "option<space><tab>" format
...
such that when commenting/uncommentting lines, horizontal spacing is
maintained...
Also fix some minor comment formatting to line things up, etc...
Reviewed by: gnn, imp
MFC after: 1 week
2012-09-16 19:48:48 +00:00
Hans Petter Selasky
db18ca3677
Add basic USB support to Raspberry PI target.
2012-09-14 08:11:59 +00:00
Oleksandr Tymoshenko
1b1a53cf46
Add barebone Raspberry Pi port. Supported parts:
...
- Interrupts controller
- Watchdog
- System timer
- Framebuffer (hardcoded resolution/bpp)
2012-08-30 20:59:37 +00:00
