Post by pinneriteThis 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).
***@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).
#
# <file system> <mount point> <type> <options> <dump> <pass>
# / 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
***@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