Embeddable Linux Kernel Subset: Linux-like OS for systems like 8086github.com/jbruchon17 pointsstevefan19994 years ago