4 OBJECTS_LIBUART += uart_pl011.o
5 PREPROCESS_PARTS += integrator libuart generic_tickless_idle
6 CONFIG_KERNEL_LOAD_ADDR := 0x00000000
9 uart_IMPL += uart-arm-integrator
10 config_IMPL += config-arm-integrator
11 mem_layout_IMPL += mem_layout-arm-integrator
12 pic_IMPL += pic-arm-integrator
13 bootstrap_IMPL += bootstrap-arm-integrator
14 timer_IMPL += timer-arm-integrator
15 timer_tick_IMPL += timer_tick-single-vector
16 kernel_uart_IMPL += kernel_uart-arm-integrator
17 reset_IMPL += reset-arm-integrator
18 clock_IMPL += clock-generic