Debian 10 Header Files

[Rodrigo Villalobos]

Hello I am trying to build modules for the OSD32MP1-BRK, using the Octavo Systems OSD32MP1-BRK Debian 10 Image | Version: Release 1.2, the direction of the available header file /lib/modules/$(uname -r)/build is empty, when trying to search for other header file options using ‘apt-cache search linux-headers’ and using them the generated .ko modules are not compatible (invalid format module). Any advice on what header files should I use and where can I get them?, the CROSS_COMPILE path I am using is /usr/bin/arm-linux-gnueabihf- with arm architecture. I am still new to Linux and the OSD32MP1-BRK board, any advice would be appreciated. Thank you.

[coloradocarlos]

Are you using the Docker container provided by Octavo to build your binaries? It works great and the environment is set up to cross-compile for the arm:

OSD32MP1 Debian SDK – Develop Debian images for OSD32MP1
https://github.com/octavosystems/osd32mp1-debian-docker
1 forks.
0 stars.
0 open issues.

Recent commits:

• Merge pull request #1 from octavosystems/osd32mp1-v3.0Update README.md, GitHub
• Update README.md, GitHub
• Update README for SDK v3.0, GitHub
• Update README.md, GitHub
• Update README.md, GitHub

[Rodrigo Villalobos]

Hello Carlos, thank you for your advice, I didn’t know about this repository and I will surely study it.
As I understand with Linux you can dynamically create modules at run time without the need to reboot the system or recompile the entire image using the kernel-headers and a simple .c file and a Makefile which is a simplified version of what I am trying to do, but I could be wrong, do you know if this is possible with the current state of the Debian image that Ocatvo Systems provides or do I need to use the mentioned Docker container to achieve this?

• This reply was modified 2 years, 10 months ago by Rodrigo Villalobos.

[Neeraj Dantu]

Rodrigo,

Have you tried using “make headers_install” using the Debian SDK(https://github.com/octavosystems/osd32mp1-debian)? Please see https://www.kernel.org/doc/html/latest/kbuild/headers_install.html for more information. You can modify the Makefile to build the Debian image here: https://github.com/octavosystems/osd32mp1-build-tools/blob/master/Makefile#L91.

Best,
Neeraj

[Author]

Posts