projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53097e1) | patch
Kaluga: Fix bug with new driver model code
authorDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 7 Sep 2017 14:14:05 +0000 (16:14 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 7 Sep 2017 14:14:05 +0000 (16:14 +0200)
commitd9dd4817ef7cc888e9a2607d6108fefeedd96533
tree5fe25c8380d7e6a887fb5d8dfe81c5221366aeaatree | snapshot
parent53097e1bacb41f93cce3a0563a4c798380f00cfbcommit | diff
Kaluga: Fix bug with new driver model code

The driver domain ID was incremented too late, resulting in a race condition.

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
usr/kaluga/driver_domains.c diff | blob | history
Barrelfish OS git repo