xdelete mathlib.c
Merge branch 'proto2' of https://github.com/in1004kyu/khypervisor into proto2