Je cherche à patcher les raspberrypi-sources officiels avec le patch grsec grand public ou testing. Seulement celui ci est à appliquer sur les vanilla-sources (kernel officiel), la version rpi arm me pose quelques soucis quand je cherche à appliquer le patch.
https://grsecurity.net/download.php#test
Cela n'a rien d'etonnant car les sources du noyau raspberrypi ont été construites à partir des vanilla-sources. A quoi bon réinventer la roue mais dans mon cas cela semble nécessaire car étant sous Gentoo Linux je n'ai rien trouvé sur le web à ce sujet.
Quelqu'un içi aurait il des recommandations à me faire pour obtenir mon kernel-4.4.xx-raspberrypi-v7+-grsec ?
Merçi à ceux qui prendront de me lire, ou me donner quelques élements de réponses...
[Kernel] Appliquer patch grsecurity sur les raspberrypi-sources ?
Parce qu'on ne peut pas avoir un forum pour chaque OS du Raspberry Pi...
Modérateur : Francois
Retourner vers « Les autres OS »
Aller à
- Présentez vous !
- Votre avis sur le forum
- Utiliser le Raspberry Pi
- ↳ Débutants
- ↳ En panne ?
- ↳ Utilisateurs avancés
- ↳ Les applications spécialisées du Raspberry Pi
- La domotique avec le Raspberry Pi
- ↳ Accès, alarme et vidéosurveillance
- ↳ Gestion centralisée ouverture/fermeture
- ↳ Téléphonie et télécommunication
- ↳ Gestion de la température
- ↳ La météo
- ↳ Gérer l'énergie
- ↳ Que d'eau, que d'eau !
- ↳ Robots and Co
- ↳ Des interfaces pour le Raspberry Pi
- ↳ Et tout le reste
- Les jeux sur Raspberry Pi
- ↳ Emulation de consoles sur Raspberry Pi
- ↳ Les jeux "baremetal" sur Raspberry Pi
- Les événements liés au Raspberry Pi
- ↳ Vos annonces d'événements autour du Raspberry Pi
- Les systèmes d'exploitation du Raspberry Pi
- ↳ NOOBS et NOOBS Lite
- ↳ Raspbian
- ↳ Arch Linux
- ↳ RISC OS
- ↳ OpenELEC
- ↳ Raspbmc (OSMC)
- ↳ Ubuntu MATE
- ↳ Les utilitaires et le Raspberry Pi
- ↳ Les commandes Linux
- ↳ Les autres OS
- Le matériel et les périphériques du Raspberry Pi
- ↳ Raspberry Pi (tout modèles)
- ↳ Les cartes SD et micro SD
- ↳ Le Compute Module
- ↳ Le GPIO
- ↳ Les cartes d'extension pour les Raspberry Pi
- ↳ Les BUS interfaces
- ↳ Le module caméra et ses clones
- ↳ Les alimentations
- ↳ Les sorties Vidéo et Audio du Raspberry Pi
- ↳ Le réseau sur le Raspberry Pï
- ↳ Les ports USB
- ↳ Les accessoires du Raspberry Pi
- ↳ Les clones du Raspberry Pi
- ↳ L'électronique et le Raspberry Pi
- Projets
- ↳ Projets
- La programmation du Raspberry Pi
- ↳ Python
- ↳ Scratch
- ↳ C / C++
- ↳ Java
- ↳ Assembleur
- ↳ Autres langages
- Education, formation et Raspberry Pi
- ↳ Tutoriels
- ↳ Fiches pédagogiques
- ↳ Stages d'application Raspberry Pi
- Achat-Vente
- ↳ Les petites annonces achat-vente du Raspberry Pi