If you are building your own kernels, AOSP has released updated kernel sources for 4.4.3 in the android-*-kitkat-mr2 branches and we have forked seandroid-*-kitkat-mr2 branches from their branches with our additional changes. In most cases, you can set TARGET_PREBUILT_KERNEL on the make command line to include your own kernel into the boot.img rather than the prebuilt one (but unfortunately the mako device.mk file does not support this construct, so you have to copy your kernel into place by hand or regenerate the boot.img manually). You can use the prebuilt kernels if you do not require our additional changes such as augmented auditing.
The wiki has been updated for the new version and kernel branches, http://selinuxproject.org/page/SEforAndroid#Building_Kernels On 06/04/2014 09:26 AM, Stephen Smalley wrote: > Android 4.4.3, which was released into AOSP a couple of days ago, has > been merged into our master-based seandroid branch and a seandroid-4.4.3 > branch has been forked from the android-4.4.3_r1.1 tag. The > seandroid-4.4.3 branch contains Android 4.4.3 plus all of the SE-related > code and policy changes that have been merged to AOSP master (modulo a > few that would break 4.4.3) plus all of our remaining changes that have > not yet been merged to AOSP master. > > To download our seandroid-4.4.3 branch, you can do the following: > git clone https://bitbucket.org/seandroid/manifests.git > mkdir seandroid-4.4.3 > cd seandroid-4.4.3 > repo init -u https://android.googlesource.com/platform/manifest -b > android-4.4.3_r1.1 > repo sync > mkdir .repo/local_manifests > cp ../manifests/seandroid-4.4.3.xml .repo/local_manifests > repo sync > > Note that our manifests project containing local manifest files has been > restructured due to the changes in the repo command to favor a > .repo/local_manifests directory containing one or more .xml files rather > than a single .repo/local_manifest.xml file. > > If you are using ssh-based access to bitbucket.org (i.e. you have > created an account on bitbucket.org and uploaded an ssh public key), you > can use the seandroid-4.4.3-ssh.xml local manifest file instead of > seandroid-4.4.3.xml; they only differ in the fetch URL. > > There are not yet updated kernel sources for 4.4.3 in the AOSP kernel/* > projects; we have asked for them on android-building and are waiting for > new branches to appear in the AOSP kernel/* projects to create our own > kernel branches. > > To build, you will need the 4.4.3 proprietary binaries from: > https://developers.google.com/android/nexus/drivers > > Factory images are available from: > https://developers.google.com/android/nexus/images > > The following are the builds, tags, and devices supported for 4.4.3: > - KTU84M, android-4.4.3_r1.1, Nexus 5 (hammerhead) > - KTU84L, android-4.4.3_r1, Nexus 7 (flo/grouper/tilapia), Nexus 4, Nexus 10 > _______________________________________________ > Seandroid-list mailing list > [email protected] > To unsubscribe, send email to [email protected]. > To get help, send an email containing "help" to > [email protected]. > > _______________________________________________ Seandroid-list mailing list [email protected] To unsubscribe, send email to [email protected]. To get help, send an email containing "help" to [email protected].
