C'est le mode kernel qui est outdated.
Pour les libs, il devrait y avoir un header par lib (et pour les RAM_CALLs, un
ramcalls.h), à inclure explicitement, qui ne remplace pas les headers de TIGCCLIB, pas un
kernel.h qui mélange tout, ROM_CALLs, RAM_CALLs, libs. Ces headers devraient ensuite être livrés avec le SDK du kernel ou de la lib, pas avec TIGCCLIB.