diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-10 18:48:14 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-12 09:52:09 +0200 |
| commit | 41da689280091dcabd153b77627818b0a89645bf (patch) | |
| tree | faadcb61de079b61dea81d2f4e8871e31048a70e /benchmarks | |
| parent | d49d0ac8d97e30a9b3a9140af6e9f402d39654c2 (diff) | |
boot: remove the ourdevice hack
Previously, the device definitions were filtered using sed to replace
the device_t type with mach_port_send_t to make the device argument of
device_open polymorphic. Rather than doing that, which makes it
impossible to use translation functions, the definition of device_open
has been amended.
* boot/Makefile: Remove the ourdevice hack.
* boot/boot.c: Adjust the include accordingly.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions