Alexander Boettcher d12b491a5c sel4: add MSI support for x86 ...

Fixes #5423

2025-01-23 15:45:50 +01:00

..

core

sel4: add MSI support for x86

2025-01-23 15:45:50 +01:00

include

Replace use of 'typedef' by 'using'

2024-07-02 12:00:11 +02:00

kernel/sel4

base: remove SPEC variables of boards (fix #3971)

2021-01-25 13:58:09 +01:00

lib/base

vm_session: use Callable for with_state

2025-01-15 16:59:19 +01:00

timer/pit

epit: move timer to imx repository

2024-07-02 11:59:16 +02:00