2 boards publicly available on BoardRepo.
N64 PIF Replacement Hardware (KiCad)
Brutzelkarte - N64 Flash Cart PCB (KiCad)