main.c File Reference

Small L4 console for controling the L4 Loader. More...

Functions
static void	help (void)
	give help.
static int	attach_ds (l4dm_dataspace_t *ds, l4_addr_t *addr)
	attach dataspace to our address space.
static int	junk_ds (l4_addr_t addr)
	detach and close dataspace.
static void	dump_l4env_infopage (l4env_infopage_t *env)
static void	show_task_info (unsigned int task)
static void	show_app_info (void)
	show application info.
static void	kill_ds_all (void)
static void	show_ds_info (void)
	retrieve information about _every_ dataspace and show how many memory is used by each application
static int	show_one_ds (void)
	show all information about a specific dataspace.
static int	load_app (void)
	start an application.
static int	kill_app (void)
	kill an application.
static int	less_tid (l4_threadid_t tid1, l4_threadid_t tid2)
	Compare two L4 thread IDs.
static void	show_names_info (int filter)
	list all servers registered at names server.
static void	set_file_provider (void)
	set new file provider.
static void	show_prog_memory (void)
	retrieve information about _every_ dataspace and show how many memory is used by each application
static void	show_events_info (void)
static void	command_loop (void)
	basic command input loop.
static void	add_to_load_app_ihb (int id, const char *string, int num)
static int	set_fprov (const char *fprov_name)
int	main (int argc, const char *argv[])
	main function.
Variables
l4_ssize_t	l4libc_heapsize = -256*1024
const int	l4thread_max_threads = 6
static l4_threadid_t	loader_id
	L4 thread id of L4 loader.
static l4_threadid_t	tftp_id
	L4 thread id of TFTP daemon.
static l4_threadid_t	dm_id
	L4 thread id of ds manager.
static char	load_app_command [80]
	for load_app().
static contxt_ihb_t	load_app_ihb
	for load_app().
static char	searchpath [] = "(nd)/tftpboot/" USERNAME
	< for load_app().

---

Detailed Description

Small L4 console for controling the L4 Loader.

Author:

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

The program depends on the L4 console.

After startup a command prompt appears. There is a help command 'h'. The program is able to start and kill L4 programs. All output is buffered and may be backscrolled by using SHIFT PgUp and SHIFT PgDn.

---

Function Documentation

static void help

(

void

)

[static]

give help.

static int attach_ds	(	l4dm_dataspace_t *	ds,
		l4_addr_t *	addr
	)			[static]

attach dataspace to our address space.

static int junk_ds

(

l4_addr_t

addr

)

[static]

detach and close dataspace.

static void show_app_info

(

void

)

[static]

show application info.

static int show_one_ds

(

void

)

[static]

show all information about a specific dataspace.

static int load_app

(

void

)

[static]

start an application.

static int kill_app

(

void

)

[static]

kill an application.

static int less_tid	(	l4_threadid_t	tid1,
		l4_threadid_t	tid2
	)			[static]

Compare two L4 thread IDs.

Parameters:

	tid1	Thread ID
	tid2	Thread ID

Returns:

> 0 if tid1 is less than tid2

0 if tid1 is equal or greater than tid2

static void show_names_info

(

int

filter

)

[static]

list all servers registered at names server.

static void set_file_provider

(

void

)

[static]

set new file provider.

static void command_loop

(

void

)

[static]

basic command input loop.

int main	(	int	argc,
		const char *	argv[]
	)

main function.

---

Variable Documentation

l4_threadid_t loader_id [static]

L4 thread id of L4 loader.

l4_threadid_t tftp_id [static]

L4 thread id of TFTP daemon.

l4_threadid_t dm_id [static]

L4 thread id of ds manager.

char load_app_command[80] [static]

for load_app().

contxt_ihb_t load_app_ihb [static]

for load_app().

char searchpath[] = "(nd)/tftpboot/" USERNAME [static]

< for load_app().