2 * Copyright (c) 2016 Google, Inc
3 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/state.h>
13 DECLARE_GLOBAL_DATA_PTR;
15 void board_init_f(ulong flag)
17 struct sandbox_state *state = state_get_current();
19 gd->arch.ram_buf = state->ram_buf;
20 gd->ram_size = state->ram_size;
23 u32 spl_boot_device(void)
25 return BOOT_DEVICE_BOARD;
28 void spl_board_announce_boot_device(void)
33 ret = os_find_u_boot(fname, sizeof(fname));
35 printf("(%s not found, error %d)\n", fname, ret);
38 printf("%s\n", fname);
41 int spl_board_load_image(void)
46 ret = os_find_u_boot(fname, sizeof(fname));
50 /* Hopefully this will not return */
51 return os_spl_to_uboot(fname);
54 void spl_board_init(void)
58 preloader_console_init();
61 * Scan all the devices so that we can output their platform data. See
62 * sandbox_spl_probe().
64 for (uclass_first_device(UCLASS_MISC, &dev);
66 uclass_next_device(&dev))