base-hw: Support for Raspberry Pi

Operating Systems / Genode - Norman Feske [genode-labs.com] - 15 May 2013 13:48 UTC

8ac6d8c base-hw: Support for Raspberry Pi
base-hw/mk/spec-hw_rpi.mk | 15 +++
base-hw/src/core/platform.cc | 9 +-
base-hw/src/core/rpi/board.h | 24 ++++
base-hw/src/core/rpi/cpu.h | 23 ++++
base-hw/src/core/rpi/pic.h | 124 +++++++++++++++++++++
base-hw/src/core/rpi/platform_support.cc | 81 ++++++++++++++
base-hw/src/core/rpi/target.mk | 41 +++++++
base-hw/src/core/rpi/timer.h | 77 +++++++++++++
base-hw/src/core/rpi/tlb.h | 47 ++++++++
base/include/platform/rpi/drivers/board_base.h | 57 ++++++++++
base/mk/spec-platform_rpi.mk | 15 +++
os/lib/mk/hw_rpi/timer.mk | 3 +
os/src/drivers/timer/hw/rpi/platform_timer_base.h | 50 +++++++++
tool/builddir/etc/build.conf.hw_rpi | 1 +
tool/create_builddir | 4 +
15 files changed, 570 insertions(+), 1 deletion(-)

Upstream: github.com

  • Share