From b4639fc1ae540ae6f076bf05dcbadcf80af44aaf Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Wed, 8 Jun 2011 23:42:20 -0700 Subject: [PATCH] fix typo, remove some SCC workarounds --- arch/x86/kernel/gdt.c | 2 +- kernel/init.c | 2 +- kernel/tests.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/arch/x86/kernel/gdt.c b/arch/x86/kernel/gdt.c index 53a83b95..ed863eaa 100644 --- a/arch/x86/kernel/gdt.c +++ b/arch/x86/kernel/gdt.c @@ -28,7 +28,7 @@ gdt_ptr_t gp; static tss_t task_state_segments[MAX_TASKS] __attribute__ ((aligned (PAGE_SIZE))); -static unsigned char kstacks[MAX_TASKS][KERNEL_STACK_SIZE] __attribute__ ((aligned (PAGE_SIZE) section (".data"))); +static unsigned char kstacks[MAX_TASKS][KERNEL_STACK_SIZE] __attribute__ ((aligned (PAGE_SIZE), section (".data"))); // currently, our kernel has full access to the ioports static gdt_entry_t gdt[GDT_ENTRIES] = {[0 ... GDT_ENTRIES-1] = {0, 0, 0, 0, 0, 0}}; unsigned char* default_stack_pointer __attribute__ ((section (".data"))) = kstacks[0] + KERNEL_STACK_SIZE - sizeof(size_t); diff --git a/kernel/init.c b/kernel/init.c index da2f7dc1..7fc9d0f1 100644 --- a/kernel/init.c +++ b/kernel/init.c @@ -120,7 +120,7 @@ int STDCALL network_task(void* arg) // start echo and ping server echo_init(); - //ping_init(); + ping_init(); while(!done) { #ifdef CONFIG_PCI diff --git a/kernel/tests.c b/kernel/tests.c index 78b6f9df..8427ca56 100644 --- a/kernel/tests.c +++ b/kernel/tests.c @@ -139,7 +139,7 @@ int test_init(void) #ifdef CONFIG_LWIP // use ping to test LWIP - //ping_send_now(); + ping_send_now(); #endif return 0;