Timer Workable

定时器正确运行

higherhalf kernel

内核运行于高地址 0xC0000000

paged kernel

分页！

trap 0-16 enabled kernel

添加硬件中断 0 - 16 号中断向量

bootable kernel

32-bits, protection model, no paging