diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-07 00:27:03 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-21 05:55:41 +0100 |
| commit | 4e38225c4e3af1dede56b5df6f734faaa2b2469e (patch) | |
| tree | 68053c68e095b639da70b9d0a38301431c790d6f /boot/boot_script.h | |
| parent | e4429ebed2924fd75b23248719a6e0ef4f8b53c3 (diff) | |
boot: implement pseudo-time device
* boot/boot.c (pseudo_time): New variable.
(main): Allocate port `pseudo_time'.
(ds_device_open): Give out `pseudo_time'.
(ds_device_map): Emulate Mach-style `Mapped Time'.
Diffstat (limited to 'boot/boot_script.h')
0 files changed, 0 insertions, 0 deletions