I am trying to compile a specific driver for a piece of hardware connected at PCI of our Verdin Development board, but for that to happen we need to have the linux-headers of the linux-image running on the machine.
Where can I get access to linux-headers for TorizonCore images ?
Here are more details from our Development Board:
sudo tdx-info
Software summary
------------------------------------------------------------
Bootloader: U-Boot
Kernel version: 5.15.148-6.7.0+git.bfdbfb2c85fb #1-TorizonCore SMP PREEMPT Thu Jun 20 15:59:41 UTC 2024
Kernel command line: root=LABEL=otaroot rootfstype=ext4 quiet logo.nologo vt.global_cursor_default=0 plymouth.ignore-serial-consoles splash fbcon=map:3 ostree=/ostree/boot.1/torizon/e81878773da7cb84df22dfc3108fa98703a54183a50b88c0eeb46705d5d934b7/0
Distro name: NAME="TorizonCore"
Distro version: VERSION_ID=6.7.0-build.18
Distro variant: VARIANT="Docker"
Hostname: verdin-imx8mp-15402088
------------------------------------------------------------
Hardware info
------------------------------------------------------------
HW model: Toradex Verdin iMX8M Plus on Verdin Development Board
Toradex version: 0063 V1.1B
Serial number: 15402088
Processor arch: aarch64
------------------------------------------------------------