X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules

diff --git a/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules b/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules
index 9b474b6d7..a72959342 100644
--- a/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules
+++ b/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules
@@ -3,6 +3,7 @@
 PREPROCESS_PARTS        += tegra2 16550 pic_gic mptimer
 CONFIG_KERNEL_LOAD_ADDR := 0x0
 INTERFACES_KERNEL       += gic boot_mp
+MPCORE_PHYS_BASE        := 0x50040000
 
 uart_IMPL             += uart-16550 uart-16550-arm-tegra2
 config_IMPL           += config-arm-tegra2