Environment functions

Data Structures
struct	l4env_version_info_t
	Defines some L4 kernel information - some of them (arch, data, arch_class) needed for loading an ELF binary. More...
struct	l4exec_info_t
	Section Info. More...
struct	l4exec_section_t
	Defines a section of an executable file (binary or shared library). More...
struct	l4env_loader_info_t
	Defines loader configuration information useful for programs. More...
struct	l4env_infopage_t
	The environment info page - should consider 64-bit architectures too. More...
Functions
L4_CV int	l4env_request_service (l4_uint32_t key, l4_threadid_t *service)
	Request id of environment service.
L4_CV int	l4env_request_config_u32 (l4_uint32_t key, l4_addr_t *cfg)
	Request configuration dword.
L4_CV int	l4env_request_config_string (l4_uint32_t key, char *str, int max_len)
	Request configuration string.
L4_CV l4env_infopage_t *	l4env_get_infopage (void)
	Return pointer to L4 environment page.
L4_CV void	l4env_set_sigma0_id (l4_threadid_t id)
	Set sigma0 Id.
L4_CV void	l4env_set_default_dsm (l4_threadid_t id)
	Set default dataspace manager.

---

Function Documentation

L4_CV int l4env_request_service	(	l4_uint32_t	key,
		l4_threadid_t *	service
	)

Request id of environment service.

Parameters:

key

service key (see l4/env/env.h)

Return values:

service

service id

Returns:

0 on success (service contains the requested service id), error code otherwise:

• -L4_EINVAL invlid key
• -L4_ENODATA value not set

L4_CV int l4env_request_config_u32	(	l4_uint32_t	key,
		l4_addr_t *	cfg
	)

Request configuration dword.

Parameters:

key

config key

Return values:

cfg

configuration value

Returns:

0 on success (cfg contains the confguration value), error code otherwise:

• -L4_EINVAL invalid key
• -L4_ENODATA value not set

Parameters:

key

config key

Return values:

cfg

configuration value

Returns:

0 on success (cfg contains the confguratiuo value), error code otherwise:

• -L4_EINVAL invalid key
• -L4_ENODATA value not set

L4_CV int l4env_request_config_string	(	l4_uint32_t	key,
		char *	str,
		int	max_len
	)

Request configuration string.

Parameters:

	key	config key
	str	destination string buffer
	max_len	length of destination buffer

Returns:

0 on succes (str contains the requested configuration string), error code otherwise:

• -L4_EINVAL invalid key
• -L4_ENODATA value not set

L4_CV l4env_infopage_t* l4env_get_infopage

(

void

)

Return pointer to L4 environment page.

Returns:

Pointer to L4 environment page, NULL if no environment page available (i.e, the application was not started by our loader)

NULL

Since this is a sigma0-style L4 task, it has no L4 environment infopage mapped from the L4 Loader. But nevertheless, it could be started by the compatibility mode of the L4 loader.

L4_CV void l4env_set_sigma0_id

(

l4_threadid_t

id

)

Set sigma0 Id.

Parameters:

id

Sigma0 id

Set sigma0 id (used by startup code).

Parameters:

id

Sigma0 id

Set sigma0 id (used by startup code).

L4_CV void l4env_set_default_dsm

(

l4_threadid_t

id

)

Set default dataspace manager.

Parameters:

	id	Dataspace manager id
	id	Dataspace manager id