/* (c) 2008, Peter Dinda <pdinda@northwestern.edu> */
/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */

#ifndef __DEBUG_H
#define __DEBUG_H

#include <geekos/serial.h>
#include <geekos/screen.h>




void PrintBoth(const char * format, ...);



#endif