Tu devrais utiliser le support du kernel officiel de TIGCCLIB au lieu de perdre ton temps avec des bidouilles non supportées comme kernel.h.