C'est pas impossible. Soit TIGCC libère les blocs créés avec malloc (il me semble que sur PC ça le fait), soit il a un kernel.