On Sun, Jul 24, 2022 at 05:15:48PM +0200, [email protected] wrote

> WD800BEVS-08 is a 5400rpm 2.5inch sata disk.
> Go into the bios and set up sata to be AHCI.

  Thanks for the additional details.  At Neil Bothwick's suggestion I've
already toggled the BIOS from SATA to AHCI, and the system now boots up
fine.  I'm currently running an update world on it.

-- 
Walter Dnes <[email protected]>
I don't run "desktop environments"; I run useful applications

Reply via email to