The N64 development manual and SDK leaked a few years ago. Here's the documentation for the curious: http://level42.ca/projects/ultra64/Documentation/man/
All materials used for RE must have been obtained legitimately, and as far as I'm aware any legit way to obtain this sort of manual for console development involves/involved signing an NDA.