Peter Steenbergen 931898a1f9 Linux: Raspberry: Move console to serial port. ... This to prevent kernel critical messages to be send to HDMI		2018-11-14 19:27:43 +01:00
..
raspberrypi	Linux: Raspberry: Move console to serial port.	2018-11-14 19:27:43 +01:00
raspberrypi3	MycroftOS: Initial setup for rpi3	2018-10-26 19:51:01 +02:00