ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-29 10:08:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
11,460 Commits 2 Branches 70 Tags 87 MiB
42a46b75f1
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
1ccf8a280c base-hw: simplify board support in external repo 
Avoid use of REP_DIR in *.mk files to simplify the use of these files as
templates for a board hosted in a separate repository.

Use REP_INC_DIR for searching headers, thereby considering headers
hosted in an external repository.

Issue #3168
 2021-01-25 13:58:10 +01:00
Stefan Kalkowski
90d07741aa hw: support for ARM64 Raspberry Pi 3 
Restriction: enables only cpu core 0 and the timer interrupt by now.

Fix #3405
 2019-07-09 08:55:22 +02:00