Sebastian Sumpf e855638266 hw: add system call for irq mode setting ...

Core is not allowd to access the kernel's Pic implementation directly.

fixes #3474

2019-08-21 13:25:25 +02:00

..

bbl

base-hw: BBL fix warnings

2017-08-30 10:00:00 +02:00

bootstrap

hw: support for i.MX8M Quad EVK

2019-08-13 12:02:27 +02:00

core

hw: add system call for irq mode setting

2019-08-21 13:25:25 +02:00

include

hw: add system call for irq mode setting

2019-08-21 13:25:25 +02:00

kernel/spec/muen

Update Muen port

2019-05-27 14:46:53 +02:00

lib

hw: support for ARM64 Raspberry Pi 3

2019-07-09 08:55:22 +02:00

test

timeout: use uint64_t for all plain time values

2019-05-06 16:15:26 +02:00

timer/hw

hw: increase timing accuracy of kernel (fix #3081)

2019-03-18 15:56:23 +01:00