Hi all,

The PocketStation retail BIOS has never been released before.
I looked hard but couldn't find it, so I brought all the hardware and extracted it myself.

It's available here if you're interested:

Unlike the one with PKemu, this BIOS has full compatibility with all PocketStation games.

More info here: