mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-21 16:39:39 +00:00
committed by
Christian Helmuth
parent
40009986ee
commit
bb214af3eb
@ -3,7 +3,7 @@ REQUIRES := arm_v6
|
||||
|
||||
CUSTOM_TARGET_DEPS := kernel_build.phony
|
||||
|
||||
LX_DIR := $(call select_from_ports,legacy_linux)/src/linux
|
||||
LX_DIR := $(call select_from_ports,linux)/src/linux
|
||||
PWD := $(shell pwd)
|
||||
|
||||
# options for Linux kernel build to not depend on current time, user and host
|
||||
|
Reference in New Issue
Block a user