diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-23 11:42:43 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-29 12:34:20 +0200 |
| commit | af77f771b687d3653018bc18b1b07a4805beaa19 (patch) | |
| tree | 3077e15108f2f0fe23a9ca092e26709cc1de81e6 /pfinet | |
| parent | 1a22019e6a86d0636f9847f8891f280facd2fd22 (diff) | |
exec: add proper argument parsing, add --device-master-port
If the device master port is given, a boot-time exec server can print
diagnostic messages earlier.
* exec/main.c (opt_device_master): New variable.
(OPT_DEVICE_MASTER_PORT): New macro.
(options): New set of options.
(parse_opt): New function.
(trivfs_append_args): Likewise.
(argp): Pull the argp definition out of main.
(trivfs_runtime_argp): Set, so that we respond properly to fsysopts.
(open_console): Pull the code out of S_exec_init and generalize it.
(main): Call open_console if a device master port is given.
(S_exec_init): Call open_console.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions