ignore kernel. one should use your own