summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2016-08-09 02:09:32 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2016-08-09 02:09:32 +0200
commit1f6eff67b7e512deb3aea6a28cb83486965d3e55 (patch)
tree3dfd0c9e8eb36c165c771def8aaa65cc82a98708 /microkernel
parent31733b3eec44aafa94202eab8cc0e322e7827e98 (diff)
Drop -no-kvm-irqchip, we don't have the issue without it any more, and it actually seems to pose other problems
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions