Si tu es sur RPi, tu as déjà un noyau linux. C'est le reste qu'il va falloir porter (il faudra peut être aussi ajouter quelques options à ton kernel, mais rien d'insurmontable)
+0
-0