00001
00002
00003 #ifndef kdb_i_h
00004 #define kdb_i_h
00005
00006 #include <cstdio>
00007 #include <flux/gdb.h>
00008 #include <flux/gdb_serial.h>
00009
00010 #include "cmdline.h"
00011 #include "io.h"
00012 #include "filter_console.h"
00013 #include "kernel_console.h"
00014 #include "kernel_uart.h"
00015 #include "idt.h"
00016 #include "trap_state.h"
00017
00018 #include <cstring>
00019
00020 #include "irq.h"
00021 #include "pic.h"
00022 #include "static_init.h"
00023
00024
00025 class Kdb_cons : public Console
00026 {
00027
00028 public:
00029 int write( char const *str, size_t len );
00030
00031 int getchar(bool);
00032
00033 int char_avail() const;
00034
00035 Mword get_attributes() const;
00036 };
00037
00038 #endif // kdb_i_h