3 ms·
I don't know if they've changed, but in 2013 they were using a modified Ubuntu: https://youtu.be/7Yd9Ij0INX0?t=9m25s https://youtu.be/7Yd9Ij0INX0?t=9m25s
by agildehaus 9y ago
I don't know if they've changed, but in 2013 they were using a modified Ubuntu:
https://youtu.be/7Yd9Ij0INX0?t=9m25s https://youtu.be/7Yd9Ij0INX0?t=9m25s