Pascal Vizeli e3ceea2058 Allow more USB serial device on OVA (#115) ...

* Allow more USB serial device on OVA

* Update kernel.config

2018-07-17 09:57:35 +02:00

..

ova

Allow more USB serial device on OVA (#115)

2018-07-17 09:57:35 +02:00

raspberrypi

Fix prevent device tree on rpi (#107)

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