From b39f7a0657b8147d6a58a0222a61bfb0f9e2b061 Mon Sep 17 00:00:00 2001 From: Franklin Wei Date: Wed, 11 Feb 2015 21:42:22 -0500 Subject: Stuff --- kernel/main.c | 13 ++++++++++--- kernel/timer.c | 1 - 2 files changed, 10 insertions(+), 4 deletions(-) (limited to 'kernel') diff --git a/kernel/main.c b/kernel/main.c index f0cc0d8..b5cc193 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -16,6 +16,7 @@ #include "fpu.h" #include "timer.h" #include "tty.h" +#include "version.h" void gpf(struct regs_t *regs) { @@ -29,7 +30,9 @@ void gpf(struct regs_t *regs) void main(struct multiboot_info_t *hdr, uint32_t magic) { fpu_enable(); + asm("movq %xmm0, %xmm0"); + /* this should go to port e9, which is the Bochs debug port */ printf("Testing early I/O\n"); @@ -66,9 +69,13 @@ void main(struct multiboot_info_t *hdr, uint32_t magic) printf("Boot finished.\n"); + printf("Kernel version %s: \"%s\"\n", KAPPA_KERNEL_VERSION, KAPPA_KERNEL_CODENAME); + printf("Running graphics benchmark...\n"); srand(42); + while(1); + if(gfx_status) { const int width = *gfx_width; @@ -171,10 +178,10 @@ void main(struct multiboot_info_t *hdr, uint32_t magic) printf("Resolution: %dx%dx%d\n", *gfx_width, *gfx_height, *gfx_bpp * 8); } - printf("Testing keyboard LED's..."); + printf("Testing keyboard LED's"); - int n = 3; - int s = -1; + int n = 0; + int s = 1; while(1) { diff --git a/kernel/timer.c b/kernel/timer.c index bdf48eb..e1f248b 100644 --- a/kernel/timer.c +++ b/kernel/timer.c @@ -16,7 +16,6 @@ static void timer_callback(struct regs_t *regs) void timer_init(uint32_t freq) { - printf("Timer init"); set_interrupt_handler(IRQ(0), timer_callback); current_tick_data = 0; -- cgit v1.1