Ik ben op zoek naar het topic dat door w.hellinga hierover gestart is aangezien daar keurig in staat hoe ik op een server (dus via commandline) kan zien welke kernels allemaal op een machine draaien en hoe de overbodige kernels(ook weer via commandline) te verwijderen.
De nieuwe zoekfunktie helpt me hier echt geen steek verder mee.....