Stefan Kalkowski 6d991313b1 nvme_drv: get I/O resources from platform API only ...

Do not use the I/O memory service from core directly,
but instead use the I/O resources the platform session
provides to the driver anyway.

Fix #4309

2021-11-29 15:10:51 +01:00

..

app

sequence: immediately stop child on exit

2021-10-13 14:50:46 +02:00

drivers

nvme_drv: get I/O resources from platform API only

2021-11-29 15:10:51 +01:00

init

separate sandbox api from os

2021-06-25 11:41:45 +02:00

lib

genode_c_api: safeguard session-policy parsing

2021-10-14 11:02:15 +02:00

server

cached_fs_rom: remove diagnostic message

2021-10-14 11:02:17 +02:00

test

Initial update of init-state ROM in init_loop test

2021-10-13 14:50:46 +02:00