Exactement, EX_patch. Mais le format de relogement est vraiment limité par rapport au format kernel
Par contre, oui, le code de tout un tas d'autres choses est embarqué dans un micro-kernel qui sert de stub-qui-ne-s'appelle-pas-stub-parce-que-c'est-du-nostub : http://trac.godzil.net/gcc4ti/browser/trunk/tigcc/archive/startup