
Local Ethernet network, with DHCP server (will be used to provide IP address to the board).Micro SD card slot or Micro SD card writer (or SD-capable writer + SD to micro SD converter).Serial terminal (for example minicom on Linux and TeraTerm or PuTTY on Windows).Arria 10 SoCDevelopment Kit rev.B, including:.Terasic Stratix 10 SoC Board : DE10-Pro.



I've played with it, and it's quite nice but has it's quirks.

One version supports a boot device menu, and then a second menu to select which kernel to boot. Ideally a newer U-Boot could be installed. There are other ways, but it gets complicated pretty fast. You could try to update the Debian and make sure it updates the U-Boot too.Īnother way to deal with this, is to make a bootable SD Card and disable the eMMC via the internal switch. Later updates "fix" this boot device priority. Or, if I remember correctly, the original Debian U-Boot did not give preference to SD Cards over the eMMC. And if it has USB support.Īs for the SD Card boot, it's possible you have a bug in the U-Boot loaded. Since their are literally dozens of U-Boot images out their in the wild, it's no certainty which you have loaded. But, the OS on the flash drive needs to know about the USB drives. That said, the boot loader U-Boot CAN have a module that allows booting off a USB flash drive. (Well their is, but it's not usable in the normal sense.) Aviks There is no ability to boot a USB flash drive on the Rockchip RK3399 SoC.
