| /trunk/kernel/arch/amd64/include/types.h |
|---|
| 57,6 → 57,8 |
| typedef uint64_t unative_t; |
| typedef int64_t native_t; |
| typedef uintptr_t ioport_t; |
| /**< Formats for uintptr_t, size_t, count_t and index_t */ |
| #define PRIp "llx" |
| #define PRIs "llu" |
| /trunk/kernel/arch/amd64/Makefile.inc |
|---|
| 75,6 → 75,12 |
| CONFIG_I8042 = y |
| DEFS += -DCONFIG_I8042 |
| ## Compile with EGA support |
| # |
| CONFIG_EGA = y |
| DEFS += -DCONFIG_EGA |
| ## Accepted configuration directives |
| # |
| 96,7 → 102,6 |
| arch/$(ARCH)/src/pm.c \ |
| arch/$(ARCH)/src/context.S \ |
| arch/$(ARCH)/src/ddi/ddi.c \ |
| arch/$(ARCH)/src/drivers/ega.c \ |
| arch/$(ARCH)/src/drivers/vesa.c \ |
| arch/$(ARCH)/src/drivers/i8254.c \ |
| arch/$(ARCH)/src/drivers/i8259.c \ |
| /trunk/kernel/arch/amd64/src/amd64.c |
|---|
| 40,6 → 40,7 |
| #include <proc/thread.h> |
| #include <arch/drivers/ega.h> |
| #include <genarch/drivers/ega/ega.h> |
| #include <arch/drivers/vesa.h> |
| #include <genarch/kbd/i8042.h> |
| #include <arch/drivers/i8254.h> |
| 139,7 → 140,7 |
| vesa_init(); |
| else |
| #endif |
| ega_init(); /* video */ |
| ega_init(EGA_BASE, EGA_VIDEORAM); /* video */ |
| /* Enable debugger */ |
| debugger_init(); |