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

..

dts

Add barebone Raspberry Pi port. Supported parts:

2012-08-30 20:59:37 +00:00

fdt_loader_cmd.c

Access the device tree blob via copyin/copyout.

2012-05-17 04:04:48 +00:00

Makefile

Provide support in loader for booting 64-bit PowerPC kernels. Like amd64,

2010-07-12 00:49:22 +00:00