Alexander Boettcher c68bca1f89 sel4: enable PIT timer and PS/2 input ...

Issue #2044

2016-08-10 11:07:51 +02:00

..

arm

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

arndale

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

exynos5

hw: use kernel timer for timer driver

2016-05-26 15:54:15 +02:00

fiasco

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

foc

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

foc_rpi

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

hw

hw: use kernel timer for timer driver

2016-05-26 15:54:15 +02:00

hw_rpi

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

linux

base-linux: remove chroot support

2016-03-08 17:00:54 +01:00

nova

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

okl4_x86

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

pistachio

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

rpi

hw: use kernel timer for timer driver

2016-05-26 15:54:15 +02:00

sel4_x86_32

sel4: enable PIT timer and PS/2 input

2016-08-10 11:07:51 +02:00

x86

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

x86_32

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

x86_64

hw: use kernel timer for timer driver

2016-05-26 15:54:15 +02:00