Хочу приобрести систему на ARM, но не могу определиться с выбором. С одной стороны Odroid XU3 мощнее, но с другой Raspberry Pi поддерживает больше операционных систем. Вдобавок к установке Gentoo или Arch я бы хотел написать небольшую ОС (для меня этот процесс знаком, я уже писал немного под x86_64) под любой из этих девайсов, об RPi написана куча гайдов и документации. Есть ли документация по Odroid XU3? Насколько её меньше?