Ike Nassi

Gil's memoir says that he had been looking at the mock microkernel for six months.

Now, apparently, the guy who was running the Copeland project, Ike Nassi, had been pushing MK Linux.

As a base for macOS, MKLinux was a Linux variant based on the mock microkernel.

And that was happening during this period.

Five days later, Steve Jobs is walking into Apple's HQ, and According to all the reports, and I tend to believe that this is true, it's literally the first time Steve Jobs has been back at Apple for 11 years at the HQ.

Okay.

It's December the 2nd, 1996, and Steve Jobs has returned to Apple as, I don't know, a guy who's going to go meet with a CEO.

So he gives them a demo.