Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

If it's anything like the other devices in that series it will be 32 bit UEFI, which not many distros have out of the box. You can certainly build 32 bit GRUB. http://askubuntu.com/questions/392719/32-bit-uefi-boot-suppo...


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: