[Discuss OpenCPI] Ubuntu Host Building Kernel Module

From: Brian Padalino <bpadalino_at_gmail.com>
Date: Mon, 26 Oct 20 13:21:24 -0400

I've noticed on multiple occasions that oftentimes I will build a different
branch of OpenCPI after my system has been running for a while, and when
the test for the kernel module comes around, it will fail. The issue is
that /usr/src has newer linux headers than the current kernel that is
running.

I suspect these headers get updated/installed during the apt check at the
beginning of the deps script, but I am not sure.

I am also not sure what the solution should be:

  - Error out of build when mismatch is detected
  - Build against the currently running linux kernel headers
  - Build against the latest linux kernel headers installed (current
solution)

Obviously the current solution causes me to reboot my machine, and re-build
to update. Maybe that's the best solution, though it doesn't tell me that
the mismatch occurred - I just need to realize what happened and take an
appropriate step to fix it?

As an ancillary question, is there a way to update just the kernel module
during the build? I am using ./scripts/install-opencpi.sh - is there
another script to run, or arguments that I can run to just re-build the
kernel module and test just the kernel module?

Thanks,
Brian


Received on Mon Oct 26 2020 - 17:21:24 CDT

This archive was generated by hypermail 2.3.0 : Fri Jun 05 2026 - 08:45:25 CDT