LOL, et donc on ne peut plus du tout utiliser TIGCCLIB avec kernel.h? Très intelligent...
Je ne comprends pas pourquoi tu cherches à remplacer TIGCCLIB plutôt que de rajouter les choses qui "manquent" (c'est-à-dire tout ce qu'on ne veut pas dans TIGCCLIB parce que c'est kernel-only: les déclarations de DLLs kernel et les trucs PreOs-only) tout simplement.