HEADS UP: rebuild/reinstall kernel and world

[Sepherosa Ziehau]

Hi all,

If you are using master and got:
0ca59c3431dcb07cc5de00e279c574459aa3bc34

You will have to rebuild/reinstall both kernel and world, else ps and
top etc. will not work.

Best Regards,
sephe

-- 
Tomorrow Will Never Die