ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-05-03 17:23:05 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-linux/lib/mk/spec
History
Christian Helmuth 23ed5d3936 base-linux: configurable host toolchain 
This commit uses CUSTOM_HOST_CC/CUSTOM_HOST_CXX instead of hardcoded
commands and introduces HOST_DEV_PREFIX.

Original patch by Roman Iten and Pirmin Duss.

Issue #3466
2019-12-19 17:01:42 +01:00
..
arm
base-linux: configurable host toolchain
2019-12-19 17:01:42 +01:00
x86
timer connection: no interpolation on arm w/o hw
2017-05-31 17:50:28 +02:00
x86_32
Disambiguate kernel-specific file names
2016-12-23 16:51:32 +01:00
x86_64
Disambiguate kernel-specific file names
2016-12-23 16:51:32 +01:00