Long overdue follow-up: I never succeeded in getting Arch Linux to boot from an nvme disk, or, for that matter, from a regular SATA disk installed in the system -- trying to use efistub for the purpose. Eventually I gave up and installed grub2 on the SATA disk, it booted the first time through. I suppose it's something odd in the Arch install (other people reported success with other distros) or perhaps my incompetence at using efibootmgr -- though I have set it up on three other systems with no problems. Alternatively, it could be some funky feature of the computer itself (a Lenovo Legion 5 mid-tower). Anyway, the old ways are sometimes the best; grub2 does the job and only adds an annoying few seconds to the boot time. Since I plan to leave the computer on 24/7, that will only be a very occasional inconvenience. Thanks to everyone for your suggestions and advice! -- Peter King peter.king@utoronto.ca Department of Philosophy 170 St. George Street #521 The University of Toronto (416)-946-3170 ofc Toronto, ON M5R 2M8 CANADA http://individual.utoronto.ca/pking/ ========================================================================= GPG keyID 0x7587EC42 (2B14 A355 46BC 2A16 D0BC 36F5 1FE6 D32A 7587 EC42) gpg --keyserver pgp.mit.edu --recv-keys 7587EC42