Revision 0f202fc1f14e3d91884f7b2db7a9bacb3feef250

Committed on 11/03/2015 7:02 am by jiboule <[email protected]> [GitHub Diff]

clean kernel request