Stefan Kalkowski d0694b3e0b platform_drv: separate devices info from config ... Fix genodelabs/genode#4491		2022-05-25 12:19:32 +02:00
..
devices	platform_drv: separate devices info from config	2022-05-25 12:19:32 +02:00
qemu_args	tool/run: move nic model to qemu_args file	2021-11-29 15:10:52 +01:00