Hi, My apologies if this is a n00b question, but I am wondering where can I find the source files of https://packages.debian.org/oldstable/linux-image-4.9.0-11-rt-amd64 ? Are the source files a combination of https://packages.debian.org/stretch/linux-source-4.9 and some PREEMPT_RT realtime patches? I would love to learn more about how to obtain the source files of linux-image-4.9.0-11-rt-amd64 in order to compile IgH EtherCAT master (https://etherlab.org/en/ethercat/) on Debian with PREEMPT_RT enabled. Any help would be highly appreciated, thanks a lot!
Regards, Will

