os - Revision 1: /kernel/hal