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