From: nospam@needed.invalid   
      
   On Thu, 11/28/2024 7:45 AM, pinnerite wrote:   
   > This is actually in Mint 22.0 (based on ubuntu 22.04).   
   > I was trying to compile drivers for a TBS DVD-T2 TV card.   
   >   
   > The "make" fails because it cannot find vmlinux.   
   >   
   > There is a script at /opt/media/scripts called extract-vmlinux but I   
   > could not get it to work.   
   >   
   > What else can I look for?   
   >   
      
   In the other group, I tried to encourage you to determine   
   whether your partitioning scheme was MSDOS or UEFI/GPT.   
      
   With a GPT partitioning, the /boot is a mount of the   
   EFI System Partition, which is typically the first partition (/dev/sda1) .   
      
   The picture I provided in the other group, shows this.   
   This is an OCR of the screenshot I provided (the PostImage).   
      
   bullwinkle@ROWBOAT :~ $ cat /etc/fstab   
   # /etc/fstab: static file system information.   
   #   
   # Use 'blkid' to print the universally unique identifier for a   
   # device; this may be used with UUID= as a more robust way to name devices   
   # that works even if disks are added and removed. See fstab(5).   
   #   
   #                   
   # / was on /dev/sda2 during installation   
   UUID=44c24fb2-6893-4105-89ba-0f95d5975946 /       ext4    errors=remount-ro   
   0    1   
   # /boot/efi was on /dev/sdal during installation   
   UUID=AB5C-46E4 /boot/efi     vfat   umask=0077   0    1     <=== This mount   
   provides vmlinux   
   /swapfile           none    swap     sw   0   0   
      
   bullwinkle@ROWBOAT :~ $   
      
   For an MSDOS partitioned disk, the location of /boot   
   could be in the / partition. Check your /etc/fstab to   
   see if any other (whizzy) partitioning scheme is being used.   
      
      Paul   
      
   --- SoupGate-DOS v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)