mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
7db602faec
* Move platform APIs to "legacy/" subdirectory * Rename old pc, imx53, and rpi platform_drv to "legacy_*_platform_drv" Fix #4359
5 lines
163 B
Makefile
5 lines
163 B
Makefile
TARGET = platform_drv
|
|
SRC_CC = device.cc device_component.cc device_model_policy.cc main.cc session_component.cc root.cc
|
|
INC_DIR = $(PRG_DIR)
|
|
LIBS = base
|