boot: Improve device pass-through.

Previously, the device file was opened once at startup time.  This is
fragile, as the remote server might die.  Open it at device open time
instead.

* boot/boot.c (options): Improve documentation.
(struct dev_map): Rename fields, document, store the name of the
device file instead of a port.
(add_dev_map): Update accordingly.
(lookup_dev): Likewise.
(ds_device_open): Open the device file here instead.

0 files changed, 0 insertions, 0 deletions