genodelabs/genode — pull request #558 by skalk (2012-12-06 15:18:39+00:00)
Title: L4lx: make block stub driver SMP safe (fix #514)

We have to take the block queue's spin lock before invoking the interrupt
routine, otherwise the AVL tree og Genode's block packet stream gets
corrupted.