For PS/1 you'll need the 16-bit version from https://github.com/luke8086/gentleos. A floppy image is provided in releases. Note you only need to copy the first 64KB, the rest is just padding for emulators.
Although, the floppy light does not turn off. Not sure, if this a problem with the OS or my hardware.