s0_modules.h File Reference

Functions
void	free_module (ModuleInfo *modinfo)
ModuleInfo *	get_module (unsigned id)
ModuleInfo *	alloc_module (char const *cmdline, unsigned sigma0_cmdlen, bool s0_reserved=false)
unsigned	boot_s0_services (Utcb *utcb)
unsigned	start_config (Utcb *utcb, unsigned short which, unsigned &internal_id)
	Starts a configuration loaded during boottime.
unsigned	start_config (Utcb *utcb, char const *mconfig, unsigned &internal_id, unsigned &sc_usage_cap, unsigned long &usage_mem, bool bswitch, bool part_of_s0=false)
	Start a configuration from a stable memory region (mconfig).
bool	idle_sc_sanity_check (unsigned pt)
bool	map_idle_scs (Utcb *utcb, unsigned pt)
bool	map_exc_pts (const ModuleInfo *modinfo, unsigned pt)
unsigned	_start_config (Utcb *utcb, char *elf, unsigned long mod_size, char const *client_cmdline, ModuleInfo *modinfo, unsigned &sc_usage_cap, bool bswitch)
unsigned	kill_module (ModuleInfo *modinfo)
	Kill the given module.

Function Documentation

unsigned _start_config	(	Utcb *	utcb,
		char *	elf,
		unsigned long	mod_size,
		char const *	client_cmdline,
		ModuleInfo *	modinfo,
		unsigned &	sc_usage_cap,
		bool	bswitch
	)

We memset the client memory to make sure we get an deterministic run and not leak any information between clients.

ModuleInfo* alloc_module	(	char const *	cmdline,
		unsigned	sigma0_cmdlen,
		bool	s0_reserved = false
	)

unsigned boot_s0_services

(

Utcb *

utcb

)

void free_module

(

ModuleInfo *

modinfo

)

ModuleInfo* get_module

(

unsigned

id

)

bool idle_sc_sanity_check

(

unsigned

pt

)

unsigned kill_module

(

ModuleInfo *

modinfo

)

Kill the given module.

bool map_exc_pts	(	const ModuleInfo *	modinfo,
		unsigned	pt
	)

bool map_idle_scs	(	Utcb *	utcb,
		unsigned	pt
	)

unsigned start_config	(	Utcb *	utcb,
		unsigned short	which,
		unsigned &	internal_id
	)

Starts a configuration loaded during boottime.

Configuration numbers start at zero.

unsigned start_config	(	Utcb *	utcb,
		char const *	mconfig,
		unsigned &	internal_id,
		unsigned &	sc_usage_cap,
		unsigned long &	usage_mem,
		bool	bswitch,
		bool	part_of_s0 = false
	)

Start a configuration from a stable memory region (mconfig).

Region has to be zero terminated.