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].

Reply via email to