diff options
author | Justus Winter <justus@gnupg.org> | 2016-11-05 18:47:34 +0100 |
---|---|---|
committer | Justus Winter <justus@gnupg.org> | 2016-11-05 18:47:34 +0100 |
commit | 8cf212d402b0a392ed6c89f9e1035cbbf9988478 (patch) | |
tree | 426438d04368f6bd964c00df1f2e09d2fd101828 /devio | |
parent | 54c6736341bda9564a028ad3d61d46488e53b8a6 (diff) |
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.
Diffstat (limited to 'devio')
0 files changed, 0 insertions, 0 deletions