2019-07-01 13:54:37 +02:00
|
|
|
CONFIG_TUP_ARCH=arm64
|
2019-06-29 11:46:02 +02:00
|
|
|
CONFIG_TOOL_CHAIN_PREFIX=genode-aarch64-
|
|
|
|
|
|
|
|
|
|
CONFIG_CC_WRAPPER=ccache
|
|
|
|
|
CONFIG_CXX_WRAPPER=ccache
|
|
|
|
|
|
|
|
|
|
CONFIG_OFFLINE=
|
|
|
|
|
CONFIG_NO_NETWORK=
|
|
|
|
|
|
2019-07-04 14:45:54 +02:00
|
|
|
CONFIG_SCULPT_VERSION=19.07
|
2019-06-29 11:46:02 +02:00
|
|
|
CONFIG_PUBLIC_USER=ehmry
|
|
|
|
|
CONFIG_PUBLIC_KEY=6E10414EE7160781F5FEE8FFB14D043A26B3D2C7
|
