Kernel - DVB-S2 Tuner Driver Patch - help request - Technisat SkyStar USB 2 HD CI

geronimo · 7 September 2017 05:54

I might be able to help myself if I know where to get the kernel headers. Not sure I’ll be able to compile anything under the pi0 since OSMC is really stripped down and I don’t have any toolchain.

I’ve found a kernel build script at:

github.com

osmc/osmc/blob/master/package/kernel-osmc/build.sh


# (c) 2014-2015 Sam Nazarko
# email@samnazarko.co.uk

#!/bin/bash

# initramfs flags

INITRAMFS_BUILD=1
INITRAMFS_EMBED=2
INITRAMFS_NOBUILD=4

sign_module () {

# Generic function to sign kernel module with key

if [ "$SIGN_KERNEL" -eq 0 ]; then
    echo "* Ignoring request to sign kernel module $1 as device does not request it"
    return
else

This file has been truncated. show original

And by looking at it I learned that for rpi1 it’s using the Kernel 4.9.29
test $1 == rbp1 && VERSION=“4.9.29”

In order to get the kernel headers, can I then just download the kernel source for 4.9.29 form kernel.org and just use it ?
Will I be able to get the necessary toolchain components (c/c++/perl… etc) directly from Debian with apt-get ?

Thanks again for any help!