> Also you can use the usual images of your favorite Linux distro rather than needing an ARM build. Can you though? It depends on what kind of BIOS/UEFI this t

> Also you can use the usual images of your favorite Linux distro rather than needing an ARM build. Can you though? It depends on what kind of BIOS/UEFI this thing runs with. I'd be curious to see if it's a standard x86 BIOS setup or something more proprietary/less common that requires a special bootloader.