Hey All, does somebody know of projects that use code generators to generate kernel modules? I'm thinking about using a strongly typed language like haskell with a code generator to generate kernel C-Code. I want to achieve more secure kernel modules this way. Is this a silly idea? or had someone already done that. hope for answers? greetings mosta