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

Issue #2044

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

..

sel4_x86_32.mk

sel4: enable PIT timer and PS/2 input

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

sel4.mk

…