Dans Dev Diary 2.0 Help

Post BIOS Update

Overview

Index of Issues

  • Ethernet card change it's ID causing the networkctl to be unable to start.

  • Windows Decided to update the EFI boot entry, causing the systemd-boot to be ignored

  • Secure Boot keys were lost, preventing Arch Linux from booting.

Fixes

Ethernet Card ID Change Fix

Step 1: Check networkctl

Check the status of the network interfaces using:

networkctl list

Which might look something like this:

IDX LINK TYPE OPERATIONAL SETUP 1 lo loopback carrier unmanaged 2 eno1 ether off unmanaged 4 wlp101s0 wlan off unmanaged 5 enp99s0 ether degraded unmanaged

Capture the name of the device that is degraded, in this case enp99s0.

Step 2: Verify it has the same IDX as in /etc/systemd/network/20-wired.network

Open in an editor: /etc/systemd/network/20-wired.network

This should look something like:

[Match] # Name=enp10s0 Name=enp99s0 [Network] DHCP=yes

If Name= is different from the IDX captured in step 1, update it to match.

Step 3: Restart systemd-networkd

Restart the network service to apply the changes:

sudo systemctl restart systemd-networkd
Last modified: 21 December 2025