Mirror of https://android.googlesource.com/platform/system/core.git with TaintDroid additions (mirror lags official Android)