POK(kernelpart)
|
00001 /* 00002 * POK header 00003 * 00004 * The following file is a part of the POK project. Any modification should 00005 * made according to the POK licence. You CANNOT use this file or a part of 00006 * this file is this part of a file for your own project 00007 * 00008 * For more information on the POK licence, please see our LICENCE FILE 00009 * 00010 * Please follow the coding guidelines described in doc/CODING_GUIDELINES 00011 * 00012 * Copyright (c) 2007-2009 POK team 00013 * 00014 * Created by julien on Thu Jan 15 23:34:13 2009 00015 */ 00016 00017 00018 #ifdef POK_NEEDS_DEBUG 00019 00020 #include <libc.h> 00021 #include "../event.h" 00022 00023 void set_debug_traps (); /* provided by the gdb stub*/ 00024 00025 void putDebugChar () 00026 { 00027 } 00028 00029 int getDebugChar () 00030 { 00031 return 0; 00032 } 00033 00034 void exceptionHandler (int exception_number, 00035 void* exception_address) 00036 { 00037 pok_idt_set_gate (exception_number, 00038 GDT_CORE_CODE_SEGMENT << 3, 00039 (uint32_t)exception_address, 00040 IDTE_INTERRUPT, 00041 3); 00042 } 00043 00044 void set_debug_serial_port () 00045 { 00046 } 00047 00048 void pok_bsp_debug () 00049 { 00050 set_debug_serial_port (); 00051 set_debug_traps (); 00052 printf ("Waiting GDB connection\n"); 00053 __asm__ ("int3"); 00054 } 00055 00056 #endif