Kernel headers / SDK for X20EDS410 (Linux 6.6.52-br-x20)

Ask Questions B&R Software & Runtime
1

Hi,

I am developing a custom kernel module for an X20EDS410 running:
Linux 6.6.52-br-x20.1v9.0.5+348f1011e609
Debian 12 (Bookworm)
aarch64

I would like to cross-compile a third-party driver (Moxa UPort 1150I) from my development PC.

However, I cannot find the kernel build directory or headers on the device:
/lib/modules/6.6.52-br-x20.1v9.0.5+348f1011e609/

The usual build and source links are not present.

Could you please advise:

Is an SDK or toolchain available for building external kernel modules for the X20EDS410?
Are matching kernel headers or kernel sources available for the installed kernel version?
What is the recommended procedure for cross-compiling and loading third-party kernel modules on the X20 Edge platform?

Thank you for your help.

2

Additional question:

Since the device ships with a customized Linux kernel (6.6.52-br-x20), is the corresponding GPL source package available?

I am mainly looking for the kernel source, configuration, headers, and build environment required to compile external kernel modules that are compatible with the shipped kernel.

Any information about access to the SDK or GPL source release would be appreciated.