| // SPDX-License-Identifier: GPL-2.0+ | |
| /* | |
| * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> | |
| */ | |
| #include <common.h> | |
| #include <dm.h> | |
| #include <fdtdec.h> | |
| #include <virtio_types.h> | |
| #include <virtio.h> | |
| int board_init(void) | |
| { | |
| /* | |
| * Make sure virtio bus is enumerated so that peripherals | |
| * on the virtio bus can be discovered by their drivers | |
| */ | |
| virtio_init(); | |
| return 0; | |
| } |