3 ms·Ouch, right, I borked the name of the GNU kernel - sorry and thanks!by akavel 5y agoOuch, right, I borked the name of the GNU kernel - sorry and thanks!