Embeddable Linux Kernel Subset - Linux for 8086
80186 compatible SystemVerilog CPU core and FPGA reference design