Which Linux distro are you using? Fedora
Which release version? 42
Which kernel are you using?
Linux fedora 6.13.5-200.fc41.x86_64 #1 SMP PREEMPT_DYNAMIC Thu Feb 27 15:07:31 UTC 2025 x86_64 GNU/Linux
Which BIOS version are you using? 30.03.09
Which Framework Laptop 13 model are you using? (AMD Ryzen™ 7040 Series)
I’ve been trying to get Displaylink properly installed for the better part of the day. I’ve been working off the guide published here with a few updates for 42, notably groupinstall is now group install and the python version is 3.13.
I’m getting stopped on the make step because the kernel appears to still be 41 and I’m not sure why or how to fix it. I’ve spent awhile with Qwen and Google trying to figure out why but without luck. I thought I’d give human beings a try 
The error with make is:
CFLAGS="-isystem./include -isystem./include/uapi -Werror -Wextra -Wall -Wno-error=missing-field-initializers -Werror=sign-compare -Wmissing-prototypes -Wstrict-prototypes -Werror=discarded-qualifiers " make -C module
make[1]: Entering directory '/home/iain/sandbox/evdi/module'
make -C /lib/modules/6.13.5-200.fc41.x86_64/build M=$PWD
make[2]: Entering directory '/home/iain/sandbox/evdi/module'
make[2]: *** /lib/modules/6.13.5-200.fc41.x86_64/build: No such file or directory. Stop.
make[2]: Leaving directory '/home/iain/sandbox/evdi/module'
make[1]: *** [Makefile:83: module] Error 2
make[1]: Leaving directory '/home/iain/sandbox/evdi/module'
make: *** [Makefile:13: module] Error 2
And sure enough, if I go through to that build directory it’s a symbolic link that no longer exists. I have two newer kernel versions installed, 6.15 for fc41 and 42, I assume I should be using those, but for some reason I can’t boot into them.
Kernel stuff scares me so I’m asking the pros