[LispM-Hackers] Microcode...

Daniel Seagraves dseagrav@sakura.lunar-tokyo.net
Fri Apr 12 11:58:01 2002


Only three questions.

Is the stuff in ubin/*.mcr microcode?

If so, what's the format?  Just 56-bit words, or is it scrambled in some
manner, or 64-bit words? (I am leaning toward 64 bits, because the file
sizes divide down evenly.)

Third, the two load bands you guys have; Could they be used to cold-boot
a real machine from absolutely nothing?  (say, a machine with zeroed disk
drives?)

Thanks! ^_^