Sérieux, tu peux modifier le kernel ? Ya les sources ? Ils utilisent quel assembleur ?