2 * Copyright (c) 2011 The Chromium OS Authors.
5 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
6 * Marius Groeger <mgroeger@sysgo.de>
9 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
10 * Alex Zuepke <azu@sysgo.de>
12 * SPDX-License-Identifier: GPL-2.0+
15 #ifndef _U_BOOT_SANDBOX_H_
16 #define _U_BOOT_SANDBOX_H_
22 int sandbox_early_getopt_check(void);
23 int sandbox_main_loop_init(void);
25 int cleanup_before_linux(void);
27 /* drivers/video/sandbox_sdl.c */
28 int sandbox_lcd_sdl_early_init(void);
30 #endif /* _U_BOOT_SANDBOX_H_ */