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.
5259 Discussions

Failure to build sep driver on Debian 11 - vtune 2024.2.1

FMartin
Beginner
1,002 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
841 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
905 Views

Which platform? Did you try with VTune 2025.0?

0 Kudos
FMartin
Beginner
871 Views

I'm on Debian 11.

 

I haven't tried vtune 2025.0 yet.

0 Kudos
yuzhang3_intel
Moderator
842 Views

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

0 Kudos
FMartin
Beginner
804 Views

Hello,

 

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

 

Thanks.

0 Kudos
Reply