#ifndef __DEBUG_H
#define __DEBUG_H

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




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



#endif