“With this, the kernel takes around 2 minutes to boot and run sh.”
His last Linux-on-a-microcontroller stunt booted in six hours. This one uses a chip specced for 48MHz, runs it at 90MHz, and gets to a shell in about 2 minutes. It is ridiculous and it is the best business card ever made. Anyone who reads the writeup knows exactly what he can build.