// Example Jenkinsfile for building the Linux kernel
// Uses the custom kernel-builder image (jenkins/kernel-builder/Dockerfile)
// Build the image first: docker build -t kernel-builder jenkins/kernel-builder/
//
// NOTE: When using "Pipeline script from SCM", Jenkins clones the repo
// automatically before running this file. No checkout stage is needed.
// Configure shallow clone + extended timeout in the job's SCM settings
// for large repos (see doc/jenkins-cpp-build.md, section 4).

pipeline {
    agent {
        docker { image 'kernel-builder' }
    }

    options {
        timeout(time: 4, unit: 'HOURS')
    }

    stages {
        stage('Build') {
            steps {
                sh 'make defconfig'
                sh 'make -j$(nproc)'
            }
        }

        stage('Archive') {
            steps {
                archiveArtifacts artifacts: 'arch/x86/boot/bzImage', fingerprint: true
            }
        }
    }
}