X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/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 71c6144cd..c3d093023 100644
--- a/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules
+++ b/kernel/fiasco/src/kern/arm/bsp/tegra2/Modules
@@ -2,7 +2,7 @@
 
 PREPROCESS_PARTS        += tegra2 16550 pic_gic mptimer generic_tickless_idle
 CONFIG_KERNEL_LOAD_ADDR := 0x0
-INTERFACES_KERNEL       += gic boot_mp
+INTERFACES_KERNEL       += gic
 MPCORE_PHYS_BASE        := 0x50040000
 
 uart_IMPL             += uart-16550 uart-16550-arm-tegra2
@@ -15,5 +15,5 @@ timer_tick_IMPL       += timer_tick-single-vector
 kernel_uart_IMPL      += kernel_uart-arm-tegra2
 reset_IMPL            += reset-arm-tegra2
 clock_IMPL            += clock-generic
-boot_mp_IMPL          += boot_mp-arm-tegra2
+platform_control_IMPL += platform_control-arm-tegra2
 outer_cache_IMPL      += outer_cache-arm-tegra2