> For those not aware of the background, the author is a wizard from a secretive underground society of wizards known as the Familia Toledo; he and his family (it is a family) have been designing and building their own computers (and ancillary equipment like reflow ovens) and writing their own operating systems and web browsers for some 40 years now.
"The current "shrinking level" of this version is around 670 bytes." ...
"Later on this version has been extended to allow playing with full FIDE rules, meaning including the management of en-passant, castling and under promotion. This new version is around 750 characters (35 lines of codes when pretty printed)."
Assembly was one of the first languages that I wrote in when I learned to program in the 80's, simply because other languages were too slow to develop games and other stuff. Since then I've switched to Pascal, Java, Scala, Python etc.
But sometimes I still miss the joy of micro-optimizing some assembly code until perfection.
This Toledo family is amazing. I wonder if this will be the future of SD craftmanship, now that Moore's law seems to come to an end and we are forced to look at optimizing the performance of our software stack.
Kind of reminds me of writing single-sector bootloaders¹ for the Apple ][. The idea was that you wouldn’t have DOS on a floppy disk to free up that storage for other stuff, but then if you accidentally turned on your computer with that disk in the drive, you’d want a nice message letting you know you messed up and a prompt so you could put in a DOS disk and boot up properly.
⸻
1. It might have been a whole track on the disk, it’s hard to remember the details of this when it’s 37 years since I last used an Apple ][.
Strictly speaking, a monolithic kernel is one which builds in all the code to operate: talk to hardware, load programs, perform its services or even include the ability to load drivers/code to talk to other hardware. All of the key functionality is loaded into the kernel program space but that is usually separate from user space or process space. Dumb programs; smart kernel.
A microkernel has a much more limited scope, sometimes just the ability to pass messages or data between processes, and may exclude most of the functionality to talk to hardware. The microkernel program space is separated from user space, process space and driver space. Dumb kernel; smart programs.
A typical microkernel will have user programs that drive the hardware that expose a very similar interface to what a macrokernel would provide, from the application level there isn't a whole lot of visible difference but at the system level there is, essentially the macrokernel is broken up into a number of separate processes each of which is fashioned as a 'normal' user program. This significantly reduces the scope of the kernel itself which has a whole pile of interesting implications which usually manifest as massive reliability improvements over macro kernels, a penalty in raw io throughput and the ability to elegantly (on the fly) load and unload all kinds of OS components without the need to reboot the system.
But there usually is a clear distinction between such 'kernel processes' and user applications, they also tend to be run at a slightly higher priority to ensure that the system keeps moving.
I think the infrastructure required for a microkernel would have more features than this OS. It really is incredibly barebones and that's why it is monolithic. That being said, I guess it's maybe possible.
Warning: big piece of opinion that may trigger some of you.
In practice (feel free to verify this yourself by downloading and building the latest L4 derivative), microkernels that actually work on modern hardware need a huge amount of baseline code to get IPC and memory server working in a distributed yet somewhat performant fashion.
There is a flag for compiling Linux without any hardware and filesystem drivers. That gives you the kernel core in a surprising small binary which is not that far from sel4 or okl4.
https://news.ycombinator.com/item?id=20569438 (2019)
As a teaser, from the above:
> For those not aware of the background, the author is a wizard from a secretive underground society of wizards known as the Familia Toledo; he and his family (it is a family) have been designing and building their own computers (and ancillary equipment like reflow ovens) and writing their own operating systems and web browsers for some 40 years now.