Загружаешь dos.rks и видишь, как она грузит bios.bin с SD-карты. В последней версии порты SD-карты FFF4-FFF5 (или соответсвующие им из области F000-F7FF в стандартном режиме). Образ SD-карты задаётся в конфиге, на данный момент "Specialist\sd.img".