On Mon, 28 Apr 2025, Christos Zoulas wrote:
Not easy to do because it can't simply stat the name because we are accessing the disks using bios. The best we can do is probably try name/kernel, name/kernel.gz and then try name.
That sounds workable. +---------------------+--------------------------+----------------------+ | Paul Goyette (.sig) | PGP Key fingerprint: | E-mail addresses: | | (Retired) | 1B11 1849 721C 56C8 F63A | paul%whooppee.com@localhost | | Software Developer | 6E2E 05FD 15CE 9F2D 5102 | pgoyette%netbsd.org@localhost | | & Network Engineer | | pgoyette99%gmail.com@localhost | +---------------------+--------------------------+----------------------+