Re: how to delete kernels cleanly

thanks all of you first I just want to point that nothing is available in /usr/src/ for that specific kernel and I found that the best way to remove a kernel built by me is to remove /boot/vmlinuz*KERNEL-VERSION* /boot/initrd.img*KERNEL-VERSION* /boot/System-map*KERNEL-VERSION*

Re: how to delete kernels cleanly

The kernel shipped by ubuntu can be purged by apt-get. It's easy. The kernel you build can be cleaned in this way : 1. clean the corresponding kernel file in /usr/src/ 2. clean the corresponding file in /lib/modules/ 3. update your grub by grub-mkconfig -o /boot/grub/grub.cfg

Fuzzing scheduler CFS

I am very interested in finding bugs in such code. In such large projects which method you recommend to seek effective error? I do not necessarily insist on the method of fuzzing, it is one of the options. the answer to your question: The scheduler  should work very quickly, and this

Re: Delegating printk work to UART interrupt

Hello Alexander, On Wed, Jul 22, 2015 at 11:08 AM, Alexander alexhoppus...@gmail.com wrote: Hi Arun KS, Actually, i already saw this one and something similar were tested. I just trying to figure out the reasons why generic kernel layer (console_unlock) implemented in such way: i.e. why it

Re: Fuzzing scheduler CFS

On Wed, 22 Jul 2015 10:30:47 +0300, Meyer Lansky said: I would like to improve the code, but has not found a practical method of finding errors. Bugs in the scheduler almost always manifest in one of two ways: 1) Truly spectacular crashes or hangs where you *know* you've found a bug. 2) Find

Fuzzing scheduler CFS

Thank you very much!  I will learn to look for bottlenecks in the program. You sent me to the right path!  ___ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

Re: how to delete kernels cleanly

Doesn't help you at the moment, but in the future if you build the kernels (and headers etc) as .deb packages (e.g. via 'make-kpkg') and install them with 'dpkg -i', you can later uninstall them with a single invocation of 'dpkg -r'. Henry ___

how to delete kernels cleanly

I have many kernels on my machine and I want to delete some of them what can I do some of these kernels are shipped with the OS ubuntu 14.04 and others I built by make oldconfig make all make modules sudo make modules_install sudo make install now how can I these kernels

Re: how to delete kernels cleanly

I often delete files related to these kernels in /boot/, then grub2-mkconfig -o /boot/grub/grub.cf , but I'm quite sure lib/modules will still remain On Wed, Jul 22, 2015 at 11:41 AM, Ahmed Soliman ahmedsoliman0x...@gmail.com wrote: I have many kernels on my machine and I want to delete some of

Is it possible to reserve a huge page beginning at a fixed physical address

Hello, All The hugetlb feature helps to reserve a large amount of memory. I am wondering is there any method that could reserve huge pages beginning at a fixed physical memory? Or, for reserved physical memory via memmap boot parameter, is it possible to use hugetlb feature? Thanks! Yunzhao