Stefan Kalkowski 1504041c82 pc_platform_drv: introduce pc-specific driver ...

This driver observes a "system" ROM, as well as the acpi ROM to implement
reset functionality.

Ref genodelabs/genode#4578

2022-10-12 12:09:35 +02:00

..

api/pc_linux

os: add include/pci/* to os api

2022-10-12 12:09:34 +02:00

pkg

lx_kit & lx_emul: use generic platform API

2022-10-12 12:09:33 +02:00

raw

lx_kit & lx_emul: use generic platform API

2022-10-12 12:09:33 +02:00

src

pc_platform_drv: introduce pc-specific driver

2022-10-12 12:09:35 +02:00