/branches/arm/kernel/arch/arm32/src/arm32.c |
---|
47,7 → 47,7 |
#include <config.h> |
#include <interrupt.h> |
#include <arch/regutils.h> |
#include <arch/drivers/gxemul.h> |
#include <arch/machine.h> |
#include <userspace.h> |
bootinfo_t bootinfo; |
98,6 → 98,7 |
init.tasks[i].addr = bootinfo.tasks[i].addr; |
init.tasks[i].size = bootinfo.tasks[i].size; |
} |
} |
void arch_pre_mm_init(void) |
106,6 → 107,7 |
interrupts_disable(); |
setup_exception_stacks(); |
} |
void prefetch_exception_generator(void); |
112,7 → 114,7 |
void arch_post_mm_init(void) |
{ |
gxemul_hw_map_init(); |
machine_hw_map_init(); |
/* Initialize dispatch table */ |
exception_init(); |
192,6 → 194,7 |
*/ |
void userspace(uspace_arg_t *kernel_uarg) |
{ |
// dprintf("userspace\n"); |
// WILL be changed .. after exception return .. eret will be done |
/* |
volatile ustate_t ustate; |
/branches/arm/kernel/arch/arm32/src/mm/as.c |
---|
41,7 → 41,7 |
/** Architecture dependent address space init. */ |
void as_arch_init(void) |
{ |
as_operations = &as_pt_operations; |
as_operations = &as_pt_operations; |
} |
/branches/arm/kernel/arch/arm32/src/mm/memory_init.c |
---|
38,7 → 38,7 |
size_t get_memory_size(void) |
{ |
return machine_get_memory_size(); |
return machine_get_memory_size(); |
} |
/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c |
---|
81,7 → 81,7 |
/** Initializes #gxemul_hw_map. */ |
void gxemul_hw_map_init(void) |
void machine_hw_map_init(void) |
{ |
gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE); |
gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE); |
/branches/arm/kernel/arch/arm32/src/start.S |
---|
44,6 → 44,7 |
msr cpsr_c, r3 |
ldr sp, =end_stack |
cmp r2, #0 |
beq bootinfo_end |