ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-27 09:12:32 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
f8b2fd522b
genode/repos/base-sel4/lib/mk/spec/x86/base-sel4.mk

6 lines
98 B
Makefile
Raw Normal View History

sel4: add Wandboard Quad (iMX6) support Issue #2451
2017-07-04 12:17:38 +00:00
LIBS += timeout
base: refactor VM/vCPU API Issue #3554
2020-12-18 13:08:06 +00:00
vpath vm.cc $(REP_DIR)/src/lib/base/x86
sel4: add Wandboard Quad (iMX6) support Issue #2451
2017-07-04 12:17:38 +00:00
include $(REP_DIR)/lib/mk/base-sel4.inc
Reference in New Issue Copy Permalink