Linux debugging

Check our new training course

Linux debugging, tracing, profiling & perf. analysis

Check our new training course
with Creative Commons CC-BY-SA
lecture and lab materials

Bootlin logo

Elixir Cross Referencer

 * Copyright (c) 2020 Henrik Brix Andersen <>
 * SPDX-License-Identifier: Apache-2.0

#include <device.h>

static int arm_designstart_init(const struct device *arg)

	 * Install default handler that simply resets the CPU if
	 * configured in the kernel, NOP otherwise

	return 0;

SYS_INIT(arm_designstart_init, PRE_KERNEL_1, 0);