genode/repos/os/src/drivers/platform
2018-08-02 14:36:47 +02:00
..
spec platform_drv: add RMRR region before assign pci 2018-08-02 14:36:47 +02:00