Pascal Vizeli 93dcc4a152 Add support for VIRTIO (#118) ...

* Add support for VIRTIO

* Update kernel.config

2018-07-18 12:43:19 +00:00

..

ova

Add support for VIRTIO (#118)

2018-07-18 12:43:19 +00:00

raspberrypi

Fix prevent device tree on rpi (#107)

2018-07-15 19:43:18 +00:00