Subversion Repositories c0or1k

/*

 * Copyright (C) 2010 B Labs Ltd.

 * Author: Prem Mallappa <prem.mallappa@b-labs.co.uk>

 */

#ifndef __ARM_GLUE_INIT_H__

#define __ARM_GLUE_INIT_H__

#include <l4/generic/tcb.h>

#include <l4/generic/space.h>

void switch_to_user(struct ktcb *inittask);

void timer_start(void);

extern struct address_space init_space;

void init_kernel_mappings(void);

void start_virtual_memory(void);

void finalize_virtual_memory(void);

void init_finalize(void);

void remove_section_mapping(unsigned long vaddr);

void vectors_init(void);

void setup_idle_caps(void);

void setup_idle_task(void);

#endif /* __ARM_GLUE_INIT_H__ */