Reto Buerki 58178949ef hw_x86_64: Make AHCI driver work ...

The assumption that IRQs in the legacy ISA range are always
edge-triggered is wrong. For the free-for-use IRQs it depends on the
actual device which uses the specific IRQ. Therefore, treat IRQs 9, 10
and 11 as level-triggered.

2015-05-26 09:39:50 +02:00

..

doc

imx31: remove platform completely (fix #1360)

2015-01-12 14:24:15 +01:00

include

hw: static constexpr function when reinterpret cast is used

2015-05-26 09:39:47 +02:00

lib

hw_x86_64: Factor out initial PT to separate file

2015-05-20 17:52:58 +02:00

mk

hw: support Wandboard Quad (i.MX6)

2015-04-09 16:04:43 +02:00

run

CPU session: apply quota via relative weightings

2015-05-06 10:55:16 +02:00

src

hw_x86_64: Make AHCI driver work

2015-05-26 09:39:50 +02:00