Analyzers
Talk to fellow users of Intel Analyzer tools (Intel VTune™ Profiler, Intel Advisor)
Announcements
FPGA community forums and blogs have moved to the Altera Community. Existing Intel Community members can sign in with their current credentials.
5260 Discussions

Failure to build sep driver on Debian 11 - vtune 2024.2.1

FMartin
Beginner
1,015 Views

Hello,

 

I have a failure while trying to build the sampling driver for vtune.

 

/opt/intel/oneapi/vtune/latest/sepdk/src$ sudo ./build-driver 

C compiler to use: [ /bin/gcc ] 
C compiler version: 10.2.1

Make command to use: [ /bin/make ] 
Make version: 4.3

Kernel source directory: [ /lib/modules/5.10.0-33-amd64/build ] 
Kernel version: 5.10.0-33-amd64

Cleaning workspaces ... 
Done

Building socperf driver ... 
Done

Building sep driver ... 
/opt/intel/oneapi/vtune/2024.2/sepdk/src/sys64.o: warning: objtool: SYS_Get_GDT_Base()+0x3: 'naked' return found in RETHUNK build
/opt/intel/oneapi/vtune/2024.2/sepdk/src/sys64.o: warning: objtool: SYS_IO_Delay()+0x0: 'naked' return found in RETHUNK build
ERROR: modpost: "module_mutex" [/opt/intel/oneapi/vtune/2024.2/sepdk/src/sep5.ko] undefined!
make[3]: *** [/usr/src/linux-headers-5.10.0-33-common/scripts/Makefile.modpost:123: /opt/intel/oneapi/vtune/2024.2/sepdk/src/Module.symvers] Error 1
make[3]: *** Deleting file '/opt/intel/oneapi/vtune/2024.2/sepdk/src/Module.symvers'
make[2]: *** [/usr/src/linux-headers-5.10.0-33-common/Makefile:1783: modules] Error 2
make[1]: *** [/usr/src/linux-headers-5.10.0-33-common/Makefile:192: __sub-make] Error 2
make: *** [Makefile:220: default] Error 2

Failed to build the drivers

 

Relevant information:

 

$ vtune --version
Intel(R) VTune(TM) Profiler 2024.2.1 (build 628577) Command Line Tool
Copyright (C) 2009 Intel Corporation. All rights reserved.

$ uname -r
5.10.0-33-amd64

$ ls /usr/src/
linux-config-5.10  
linux-headers-5.10.0-33-amd64  
linux-headers-5.10.0-33-common  
linux-kbuild-5.10  
linux-patch-5.10-rt.patch.xz  
linux-source-5.10  
linux-source-5.10.tar.xz

 

I would be grateful for any help on building the driver.

 

Thanks,

Martin

0 Kudos
1 Solution
yuzhang3_intel
Moderator
854 Views

The kernel version is old, could you upgrade to a new kernel version and try?

View solution in original post

0 Kudos
4 Replies
yuzhang3_intel
Moderator
918 Views

Which platform? Did you try with VTune 2025.0?

0 Kudos
FMartin
Beginner
884 Views

I'm on Debian 11.

 

I haven't tried vtune 2025.0 yet.

0 Kudos
yuzhang3_intel
Moderator
855 Views

The kernel version is old, could you upgrade to a new kernel version and try?

0 Kudos
FMartin
Beginner
817 Views

Hello,

 

I have upgraded my kernel to 1.15.**bleep** which seems to have solved my issue.

 

Thanks.

0 Kudos
Reply