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.
sroshc
ekawahyu
/ DELL Debian UEFI Install.md
Created
March 17, 2025 21:09
Workaround for DELL Debian UEFI install that does not boot
JoonTorareta
/ gist:f5e524f9745dee90b5ce8895fb8db1d8
Created
December 25, 2024 03:09
ShaderEditor 3D game
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #version 300 es | |
| #ifdef GL_FRAGMENT_PRECISION_HIGH | |
| precision highp float; | |
| #else | |
| precision mediump float; | |
| #endif | |
| out vec4 fragColor; | |
| uniform vec2 resolution; | |
| uniform vec3 orientation; |