text: 
  /*
   * Copyright (C) 1997 Massachusetts Institute of Technology 
   *
   * This software is being provided by the copyright holders under the
   * following license. By obtaining, using and/or copying this software,
   * you agree that you have read, understood, and will comply with the
   * following terms and conditions:
   *
   * Permission to use, copy, modify, distribute, and sell this software
   * and its documentation for any purpose and without fee or royalty is
   * hereby granted, provided that the full text of this NOTICE appears on
   * ALL copies of the software and documentation or portions thereof,
   * including modifications, that you make.
   *
   * THIS SOFTWARE IS PROVIDED "AS IS," AND COPYRIGHT HOLDERS MAKE NO
   * REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED. BY WAY OF EXAMPLE,
   * BUT NOT LIMITATION, COPYRIGHT HOLDERS MAKE NO REPRESENTATIONS OR
   * WARRANTIES OF MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR
   * THAT THE USE OF THE SOFTWARE OR DOCUMENTATION WILL NOT INFRINGE ANY
   * THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS. COPYRIGHT
   * HOLDERS WILL BEAR NO LIABILITY FOR ANY USE OF THIS SOFTWARE OR
   * DOCUMENTATION.
   *
   * The name and trademarks of copyright holders may NOT be used in
   * advertising or publicity pertaining to the software without specific,
   * written prior permission. Title to copyright in this software and any
   * associated documentation will at all times remain with copyright
   * holders. See the file AUTHORS which should have accompanied this software
   * for a list of all copyright holders.
   *
   * This file may be derived from previously copyrighted software. This
   * copyright applies only to those changes made by the copyright
   * holders listed in the AUTHORS file. The rest of this file is covered by
   * the copyright notices, if any, listed below.
   */
  
  /* have to include this before we redefine malloc */
  #include <xok/types.h>
  
  #ifndef __ExoPC__ 
  #define __ExoPC__
  #undef __OpenBSD__
  #endif
  #undef __NetBSD__
  #define _KERNEL
  
  #include <xok/cdefs.h>
  #include <xok/malloc.h>
  
  #define vtophys(x) kva2pa(x)
  #define splbio() 1
  #undef splx
  static void inline splx (int x) {}
  #define malloc(a,b,c) malloc(a)
  #define free(a,b) free(a)
  #define wakeup(x)
  #define __BEGIN_DECLS
  #define __END_DECLS
  #define DELAY delay
  
  #define SC_DEBUG(a,b,c)
  #define SC_DEBUGN(a,b,c)
  