3 PREPROCESS_PARTS += generic_tickless_idle mptimer pic_gic
4 PREPROCESS_PARTS += armada38x libuart
5 INTERFACES_KERNEL += gic
7 OBJECTS_LIBUART += uart_16550.o uart_16550_dw.o
9 MPCORE_PHYS_BASE := 0xf100c000
10 TRAMP_MP_ASM_INCLUDE := $(BSP_SRC_DIR)/tramp-mp-asm.h
12 bootstrap_IMPL += bootstrap-arm-armada38x
13 clock_IMPL += clock-generic
14 config_IMPL += config-arm-armada38x
15 kernel_uart_IMPL += kernel_uart-libuart
16 mem_layout_IMPL += mem_layout-arm-armada38x
17 outer_cache_IMPL += outer_cache-arm-armada38x
18 pic_IMPL += pic-gic pic-arm-armada38x
19 platform_control_IMPL += platform_control-arm-armada38x
20 reset_IMPL += reset-arm-armada38x
21 timer_IMPL += timer-arm-mptimer timer-arm-mptimer-armada38x
22 timer_tick_IMPL += timer_tick-single-vector
23 uart_IMPL += uart-arm-armada38x