Where do I get the bios for PSX for v7.1.1?

New to Recalbox and raspberry pi. I downloaded the Raspberry pi installer and used it to write recalbox OS 7.1.1 on my SD card and all works as expected only the 3 consoles mentioned above are not on my recalbox console menu and there is no evidence of bios or Roms on the SD card for them at all. Why?