diff options
| -rw-r--r-- | boot/boot_script.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/boot/boot_script.h b/boot/boot_script.h index 1166232b..4a09aba5 100644 --- a/boot/boot_script.h +++ b/boot/boot_script.h @@ -70,6 +70,10 @@ void boot_script_set_bootstrap_port (mach_port_t task, mach_port_t port); int boot_script_exec_cmd (mach_port_t task, char *path, int argc, char **argv, char *strings, int stringlen); +/* The user must define this function. Load the contents of FILE + into a fresh anonymous memory object and return the memory object port. */ +mach_port_t boot_script_read_file (const char *file); + /* Parse the command line LINE. This causes the command line to be converted into an internal format. Returns 0 for success, non-zero otherwise. |