Première chose, tu me trouves un lien vers un kernel qui fonctionne sur ton linker,
après je te dirais ce que tu pourrais éventuellement utiliser!