Stefan Kalkowski
|
b5fe1d752b
|
hw: don't implement IRQ usage policy in core
Fix #995
Fix #1112
Fix #1113
|
2014-04-14 12:32:30 +02:00 |
|
Martin Stein
|
5d444a12dc
|
hw: rename Genode::Cpu in Processor_driver
ref #1083
|
2014-03-04 19:04:16 +01:00 |
|
Martin Stein
|
f9ea52db9a
|
hw: rename cpu.h in processor_driver.h
ref #1083
|
2014-03-04 19:03:58 +01:00 |
|
Norman Feske
|
1d5c11c7af
|
rpi: Allow the access to videocore memory as MMIO
|
2013-11-25 09:46:09 +01:00 |
|
Norman Feske
|
5b5ea76039
|
hw_rpi: Hand out IRQ for USB host controller
|
2013-11-25 09:46:08 +01:00 |
|
Martin Stein
|
d24ed9783b
|
hw: get rid of kernel_support.cc
ref #935
|
2013-11-14 19:57:30 +01:00 |
|
Martin Stein
|
47744e0019
|
hw: handle interrupts via signals
fix #874
|
2013-11-14 19:57:30 +01:00 |
|
Norman Feske
|
8ac6d8c96c
|
base-hw: Support for Raspberry Pi
|
2013-05-15 20:48:07 +02:00 |
|