ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-28 01:28:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
4,414 Commits 2 Branches 70 Tags 87 MiB
f81867f208
Commit Graph

2 Commits

Author SHA1 Message Date
Johannes Schlatow
f81867f208 base-hw: refactor core.mk and core.inc files 
All core.inc files now use $BASE_HW_DIR instead of $REP_DIR. The former
is defined by the core.mk file. This allows including core.inc files
from other repositories (e.g. genode-world) for additional platform
support.

Fixes #1955
 2016-05-23 15:52:35 +02:00
Martin Stein
bed04f1f16 hw & imx53: kernel Trustzone config for USB armory 
On the USB Armory, we want to secure different devices than on other i.MX53
implementations. Thus, add a board specific configuration that is interpreted
by the kernel Trustzone initialization.

Ref #1497
 2015-11-29 18:17:04 +01:00