text: /* -*- mode: c; coding:utf-8 -*- */
  /**********************************************************************/
  /*  OS kernel sample                                                  */
  /*  Copyright 2014 Takeharu KATO                                      */
  /*                                                                    */
  /*  Hardware Abstraction Layer common header                          */
  /*                                                                    */
  /**********************************************************************/
  #if !defined(_HAL_HAL_H)
  #define _HAL_HAL_H
  #include "hal/hal_types.h"
  #include "hal/ctxsw.h"
  #include "hal/psw.h"
  #include "hal/addrinfo.h"
  #include "hal/multiboot2.h"
  #include "hal/port.h"
  #include "hal/raw_console.h"
  #include "hal/boot64.h"
  #include "hal/segments.h"
  #include "hal/kmap.h"
  #include "hal/acpi.h"
  #include "hal/lapic.h"
  #include "hal/tsc.h"
  
  #endif  /*  _HAL_HAL_H  */
  