On Mon, Apr 11, 2016 at 8:25 PM, Hendrik Boom <hendrik@???> wrote:
> A year or two ago they announced they were going to support BSD as
> another kernel.

IIRC they had previously supported BSD, had they not?


--
"On the internet, nobody knows you're a dog."