Lionel Debroux (./1) :
* why this choice of not using the tigcclib.h-#include'd headers at all ? Out of necessity maybe ?

Because an update of tigcc broke an older kernel.h
So I write it so that it can't be broken anymore by any update of tigcc.

Lionel Debroux (./1) :
* is kernel.h auto-generated, at least a part of it ?

No, but it should.

Lionel Debroux (./1) :
* if kernel.h isn't auto-generated, would it be possible to auto-generate a significant part of it ? I'm mostly thinking of not duplicating 1:1 the definitions of vat.h, alloc.h, etc.

Of course!