ghaerr / elks C 1.7K 175 Embeddable Linux Kernel Subset - Linux for 8086 linux embedded embedded-linux 8086