| Age | Commit message (Collapse) | Author |
|---|
|
dev_startup_argp, startup_common_argp, startup_argp_parents, startup_argp,
diskfs_startup_argp):
Make const.
|
|
|
|
(startup_common_argp, startup_argp_parents): New variables.
(startup_argp): Include parents.
|
|
(std_startup_arg): Renamed from std_startp_argp, converted argp fmt.
(diskfs_standard_startup_argp): Renamed from diskfs_standard_startup_options.
(parse_startup_opt): Set DISKFS_ARGV.
(diskfs_use_mach_device, diskfs_device_arg, dev_startup_options,
dev_startup_argp_parents, dev_startup_argp, diskfs_device_startup_argp):
New variables.
(parse_dev_startup_opt): New function.
|
|
OPT_DEVICE_MASTER_PORT): New defines.
(std_long_opts, parse_std_startup_opt): Add the --device-master-port,
--host-priv-port, --exec-server-task, and --bootflags options.
|
|
|
