mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-11 15:33:04 +00:00
7db602faec
* Move platform APIs to "legacy/" subdirectory * Rename old pc, imx53, and rpi platform_drv to "legacy_*_platform_drv" Fix #4359 |
||
---|---|---|
.. | ||
clipboard | ||
deploy | ||
depot | ||
drivers | ||
event_filter | ||
fb_drv | ||
fonts | ||
global_keys | ||
gpu_drv | ||
launcher | ||
leitzentrale | ||
nitpicker | ||
numlock_remap | ||
ram_fs | ||
runtime | ||
system | ||
usb | ||
wifi | ||
default-linux.sculpt | ||
default-pc.sculpt |