On 2025-07-09, Nicolas George <george@nsup.org> wrote: > Felix Miata (HE12025-07-09): >> This may have nothing to do with Debian or any OS. It could be either firmware in >> the motherboard > > Nit: the firmware in the motherboard is an operating system. Is the firmware in the motherboard otherwise referred to as the BIOS? > Regards, >