Si ce n'est pas un firmware, mais un OS, alors tout est software, ce qui veut dire que n'importe quel linker pourra le faire bientôt....

mais est-ce que l'on a besoin de ces fonctions... ?!