A minimal C kernel