<sphalerite>
yeah my suspicion is BIOS update tool runs in 32-bit mode, works with size of storage medium in bytes at some point, blows up on multiples of 4GB
<zybell_>
Dont believe so.
<simpson>
Oh, you're too generous. I was gonna guess that the USB driver is USB1 only and can't handle newer USB hardware.
<gchristensen>
it wont boot with the other drive
<gchristensen>
beeps a lot before it boots
<gchristensen>
I'm not sure, maybe so. I don't remember if I used the nixos installer in legacy mode or eufi mode
<samueldr>
or nixos needs my PR for hidpi screens for the installer
<gchristensen>
maybe i'll try formatting the other disk to be tiny just to rule it out, failing that add a note about usingg an old disk
<samueldr>
and I must assume that the bigger drive is MBR partitioned and using FAT32
<gchristensen>
yeah
<gchristensen>
(see the bios upgrades notes on that same page)
<zybell_>
sphalerite:Some days ago USB flash was handled with >=3 competing protocols. Because there is not much room in the BIOS-*updater* only one protocol could be implemented. Dell betted on the sure winner, which in the future lost. Now all drives implement the same protocol, only that it is incompatible. Only that old drive implements the compatible protocol.
<gchristensen>
seems silly that would be true for a 1 yr old laptop, but possibly
<gchristensen>
wait
<gchristensen>
no
<gchristensen>
it isn't to the bios updater at all
<zybell_>
? Why on bios updates <-> not bios updater?What else runs at that time?
<gchristensen>
I've never booted any other "legacy" mode usb devices