summaryrefslogtreecommitdiff
path: root/benchmarks
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-10 18:48:14 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-12 09:52:09 +0200
commit41da689280091dcabd153b77627818b0a89645bf (patch)
treefaadcb61de079b61dea81d2f4e8871e31048a70e /benchmarks
parentd49d0ac8d97e30a9b3a9140af6e9f402d39654c2 (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