Note: These instructions are obsolete. Use the live system initial 01004 to perform a BIOS update.
You need:
-
USB keyboard
-
USB stick (bootable, prefered USB 3.0)
-
HDMI or LVDS monitor (to verify update process)
Steps:
-
Prepare USB stick (copy BIOS Software on USB stick → *.bin file and EFI folder are in root directory)
-
Plug USB stick into blue USB 3.0 slot
-
Power IPC and hold down F11 until the update process starts
-
After "Verifying" a green text appears for few milliseconds, before the screen getting dark and the red LED on
-
Remove Power to IPC and USB stick
Verification:
-
Power IPC and hold down F2 until BIOS starts
-
Main→ System Information → BIOS-Version ...
Remarks:
If a debian OS is installed on the device:
BIOS Shell:
-
fd0:
-
cd EFI\debian
-
grubx64.efi
Debian Shell:
-
efibootmgr --verbose
-
lsblk
-
efibootmgr --create --disk /dev/mmcblk0p1 --part 1 --label "debian" --loader \\EFI\\debian\\grubx64.efi