// SPDX-License-Identifier: GPL-2.0+ | |
/* | |
* Copyright (C) 2020 Synopsys, Inc. All rights reserved. | |
*/ | |
#include <common.h> | |
#include <init.h> | |
#include <dm/device.h> | |
#include <virtio_types.h> | |
#include <virtio.h> | |
int board_early_init_r(void) | |
{ | |
/* | |
* Make sure virtio bus is enumerated so that peripherals | |
* on the virtio bus can be discovered by their drivers | |
*/ | |
virtio_init(); | |
return 0; | |
} | |
int checkboard(void) | |
{ | |
printf("Board: ARC virtual or prototyping platform\n"); | |
return 0; | |
}; |