1 // SPDX-License-Identifier: GPL-2.0+
4 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
5 * Marius Groeger <mgroeger@sysgo.de>
8 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
9 * Alex Zuepke <azu@sysgo.de>
13 * cleanup_before_linux() - Prepare the CPU to jump to Linux
15 * This function is called just before we call Linux, it
16 * prepares the processor for linux
18 int cleanup_before_linux(void)