1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright (C) 2020 Synopsys, Inc. All rights reserved.
4  */
5 
6 #include <common.h>
7 #include <init.h>
8 #include <dm/device.h>
9 #include <virtio_types.h>
10 #include <virtio.h>
11 
board_early_init_r(void)12 int board_early_init_r(void)
13 {
14 	/*
15 	 * Make sure virtio bus is enumerated so that peripherals
16 	 * on the virtio bus can be discovered by their drivers
17 	 */
18 	virtio_init();
19 
20 	return 0;
21 }
22 
checkboard(void)23 int checkboard(void)
24 {
25 	printf("Board: ARC virtual or prototyping platform\n");
26 	return 0;
27 };
28