I got the SDK yesterday evening. It requires a specifically built kernel, I think you need to set a flag, something with buffers, don't know what exactly, there is a Readme file with precise instructions. Since it was late, I left that for today.