loader.h File Reference

Loader library interface. More...

#include <l4/sys/compiler.h>

Go to the source code of this file.

Defines
#define	L4LOADER_COMPLETE   0x12348765
	The loader library sends an L4_LOADER_COMPLETE request to the loader to initiate an completion.
#define	L4LOADER_ERROR   0x43215678
	The loader library answers with L4_LOADER_ERROR to the loader if there where some errors inside the loader library.
#define	L4LOADER_STOP   0x00000001
Functions
EXTERN_C_BEGIN L4_CV void	l4env_init (void)
	Init L4environment library.
L4_CV void	l4loader_init (void *infopage)
	Init loader libary.
L4_CV void	l4loader_attach_relocateable (void *infopage)

---

Detailed Description

Loader library interface.

Date:

06/15/2001

Author:

Frank Mehnert <fm3@os.inf.tu-dresden.de>

---

Function Documentation

EXTERN_C_BEGIN L4_CV void l4env_init

(

void

)

Init L4environment library.

This is the second entry point from the Loader to the loader library. After all program sections are registered at the L4 region manager and all sections are relocated, initialize the L4 environment. Finally call multiboot_main() or main() depending on which function is available.

L4_CV void l4loader_init

(

void *

infopage

)

Init loader libary.

This function is called by the Loader server. Its task is to attach all regions of the infopage to our address space so that the region mapper can page the sections later (after the region mapper pager thread is started.

Parameters:

infopage

L4 environment infopage