[dominotw]

I think this is one of the edge cases where vagrant is useful over docker. Most ppl here don't do kernel dev though.