HLS

Synthesis-ed part of XV6 into Verilog