init.c File Reference

Barrelfish library initialization. More...

Functions
errval_t	barrelfish_init_onthread (struct spawn_domain_params *params)
	Initialise libbarrelfish. More...
void	barrelfish_init_disabled (dispatcher_handle_t handle, bool init_dom_arg)
	Initialise libbarrelfish, while disabled. More...

Detailed Description

Barrelfish library initialization.

Function Documentation

void barrelfish_init_disabled	(	dispatcher_handle_t	handle,
		bool	init_dom_arg
	)

Initialise libbarrelfish, while disabled.

This runs on the dispatcher's stack, while disabled, before the dispatcher is setup. We can't call anything that needs to be enabled (ie. cap invocations) or uses threads. This is called from crt0.

errval_t barrelfish_init_onthread

(

struct spawn_domain_params *

params

)

Initialise libbarrelfish.

This runs on a thread in every domain, after the dispatcher is setup but before main() runs.