HelenOSHelenOS-docHelenOS-historic

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /branches/arm/kernel/arch/arm32/src @ 2291

  → /branches/arm/kernel/arch/arm32/src @ 2294

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 2291 → Rev 2294

/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