From: zsd@jdvb.ca   
      
   On 2025-07-17 at 13:24 ADT, Henrik Carlqvist    
   wrote:   
   > On Thu, 17 Jul 2025 12:23:13 +0200, Marco Moock wrote:   
   >> How can I find out which kernel image (not only version) in the running   
   >> system?   
   >> uname doesn't show if I use the huge kernel   
   >   
   > Somehow you have configured your bootloader to load a kernel, or maybe   
   > even to select between different kernels. I am not familiar with grub,   
   > but my guess is that some configuration file points to a vmlinuz-huge-*   
   > or vmlinuz-generic-*   
   >   
   > If you are unable to find how you configured your boot loader there is   
   > still a trick to check:   
   >   
   > cat /proc/config.gz | gzip -d - | grep EXT4_FS   
      
   For those who are lazier (no, I mean "more efficient") typists, try this:   
           zgrep EXT4_FS /proc/config.gz   
      
                                   Jim   
      
   P.S. Note how I resisted saying UUOC.  Until now, anyway.  ;-)   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)