SCPCD (./2) :
Pour un fonctionnement avec un Intel, je ne sachant pas comment boot ces procs, je ne peux pas me prononcer.

Contrairement au 68k, l'adresse initiale du pointeur d'exécution est en dur, et située 16 octets avant la fin de l'espace d'adressage (en général on met de la ROM à cet endroit, avec un saut vers la "vraie" adresse de début du code). Et effectivement, le chipset Jaguar a été prévu pour être aussi compatible avec les x86.

SCPCD (./2) :
Le code source du jagcdbios est dispo aussi.

Zeroogle sait sans doute les retrouver

Hop : https://www.jagware.org/jag_uploads/dev/curt_vendel_jagfiles/JagCDfiles.zip
Mais c'est tout ce que je dirais sur le sujet du JagCD

Par contre, à ma connaissance les sources de la ROM de la console n'ont pas été retrouvées. Donc si tu veux savoir ce qu'il y a dedans, faut sortir le désassembleur