Pascal Vizeli 312766e962 Add support for VIRTIO (#118) ...

* Add support for VIRTIO

* Update kernel.config

2018-07-18 11:57:31 +02:00

..

ova

Add support for VIRTIO (#118)

2018-07-18 11:57:31 +02:00

raspberrypi

Fix prevent device tree on rpi (#107)

2018-07-15 21:40:28 +02:00