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).
#
# <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

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-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)