BraX3 kernel building

Getting started

To get started with Android, you'll need to get familiar with Source Control Tools.

To initialize your local repository using the Google kernel manifest, use a command like this:

repo init -u https://android.googlesource.com/kernel/manifest.git -b common-android13-5.15

Then use a command like this to clone the local manifest at the root of your local repository:

git clone git@github.com:LineageOS-on-BraX3/android_kernel_local_manifest.git .repo/local_manifests

Then to sync up:

repo sync

Building the kernel (legacy)

To build the GKI kernel image and the device kernel modules, use a command like this at the root of your local repository:

build/build.sh

Then every built artifacts are available at:

out/android13-5.15/dist

Updating the prebuilt kernel repository

To succesfully updat the prebuilt kernel repository, use a command like this at the root of your local repository:

cp out/android13-5.15/dist/Image.lz4 path/to/prebuilt/kernel/repository
cp out/android13-5.15/dist/kernel-uapi-headers.tar.gz path/to/prebuilt/kernel/repository
cp out/android13-5.15/dist/dtbo.img path/to/prebuilt/kernel/repository
cp out/android13-5.15/dist/mt6835.dtb path/to/prebuilt/kernel/repository/dtb
rsync -av --files-from=kernel-brax/X3-modules.txt out/android13-5.15/dist path/to/prebuilt/kernel/repository/modules