Android 4.4.2 was released into AOSP yesterday for Nexus 4, 5, 7, and 10. We have created a new seandroid-4.4.2 branch for it.
If you previously cloned android-4.4_r1* with seandroid-4.4, you will need to checkout the seandroid-4.4.2 branch of our manifests project and copy it to your .repo subdirectory, run repo init -b android-4.4.2_r1, and run repo sync again. You will also need to obtain updated drivers for 4.4.2 / KOT49H from https://developers.google.com/android/nexus/drivers and unpack them. If you are building your own kernels, AOSP has released updated kernel sources in the android-*-kitkat-mr1 branches and we have forked seandroid-*-kitkat-mr1 branches from their branches with the changes for enabling augmented auditing by default, supporting labeling of individual rootfs files, and updating the SELinux capability definitions for block_suspend. The instructions on the wiki have been updated for 4.4.2, http://selinuxproject.org/page/SEforAndroid -- This message was distributed to subscribers of the seandroid-list mailing list. If you no longer wish to subscribe, send mail to [email protected] with the words "unsubscribe seandroid-list" without quotes as the message.
