diff options
| author | Roland McGrath <roland@gnu.org> | 2001-08-17 10:28:22 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2001-08-17 10:28:22 +0000 |
| commit | afc455ff671ddb540ebe14b6c6a3b96e569496c4 (patch) | |
| tree | c037abd9f1522156be20a0faa65ae2fe3e4362e0 /serverboot/Makefile | |
| parent | 16f26b53445c06f8ce9f3d1100b92cce4653563e (diff) | |
2001-08-17 Roland McGrath <roland@frob.com>
* userland-boot.c (boot_script_insert_right): Take new result
parameter for send right name in target task.
(boot_script_insert_task_port): New function.
* boot_script.h: Update those two decls.
(VAL_TASK): New macro.
* boot_script.c (VAL_SYM, VAL_FUNC): Increase these constants.
(builtin_symbols): Use VAL_TASK for "task-create".
(boot_script_exec): Update caller of boot_script_insert_right.
Treat VAL_TASK like VAL_PORT, but call boot_script_insert_task_port.
Diffstat (limited to 'serverboot/Makefile')
0 files changed, 0 insertions, 0 deletions