ANDROID: gki_defconfig: Enable PAGE_PINNER am: 14eb63aa
Original change: https://android-review.googlesource.com/c/kernel/common/+/3480839 Change-Id: I68cddfbae099c90d5f09e015b1bcdcca95aae5ca Signed-off-by:Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
Loading
Please sign in to comment