interface kernel compilation ok