Skip to content

Instantly share code, notes, and snippets.

View ekawahyu's full-sized avatar

Eka Susilo ekawahyu

28 followers · 6 following
  • United States
View GitHub Profile
@ekawahyu
ekawahyu / DELL Debian UEFI Install.md
Created March 17, 2025 21:09
Workaround for DELL Debian UEFI install that does not boot

Description

In most older (maybe also newer?) DELL workstations and thin clients, for example: DELL Precision T5810 and DELL Wyse 3040, Debian is not able to boot after installation is completed. This is because your workstation expects to boot from /EFI/BOOT/BOOTX64.EFI and it cannot find it. There is a way to manually configure this in Setup page and point to the correct grubx64.efi location, but for some reason it keeps trying to load from /EFI/BOOT/BOOTX64.EFI. The workaround provided here is basically renaming the grubx64.efi into BOOTX64.EFI and put it exactly where your workstation is expecting it.

Installation Example on DELL Wyse 3040

@ekawahyu
ekawahyu / gist:30d12019e5788a4fac7ffef3f3b31e53
Created April 16, 2025 07:20 — forked from chrisdone/gist:02e165a0004be33734ac2334f215380e
Build and run minimal Linux / Busybox systems in Qemu

Common

export OPT=/opt
export BUILDS=/some/where/mini_linux
mkdir -p $BUILDS

Linux kernel