Alexander Boettcher 35489aa708 seoul: move to genode-world ...

Fixes #4412

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

..

log.h

virtualbox5: use Mutex/Blockade

2020-07-06 14:43:04 +02:00

utcb_guard.h

Remove residual uses of deprecated APIs

2019-02-19 11:12:12 +01:00

vcpu_dispatcher.h

nova: remove obsolete local vcpu case

2020-07-30 08:49:23 +02:00

vcpu_thread.h

Remove Cpu_session::Native_cpu definition from API

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