1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2020 Synopsys, Inc. All rights reserved.
8 #include <virtio_types.h>
11 int board_early_init_r(void)
14 * Make sure virtio bus is enumerated so that peripherals
15 * on the virtio bus can be discovered by their drivers
24 printf("Board: ARC virtual or prototyping platform\n");