Stefan Kalkowski 5cfb9e3e9d base-hw: distinguish core, idle, user threads ...

Do not only distinguish core and user threads, but the idle threads too.
Instead of a boolean value, introduce a new thread type.

Ref genodelabs/genode#4527

2022-08-10 13:32:57 +02:00

..

board

hw: remove rpi1/3 board support

2022-01-19 12:38:12 +01:00

etc

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

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

include

hw: unify architectural kernel interface header

2022-02-28 11:45:18 +01:00

lib/mk

base-hw: Use softfp ABI on virt_qemu ARMv7.

2022-02-15 10:23:58 +01:00

recipes

depot: update recipe hashes

2022-05-25 12:23:04 +02:00

run

base-hw: fix run scripts

2020-02-20 12:11:21 +01:00

src

base-hw: distinguish core, idle, user threads

2022-08-10 13:32:57 +02:00