|
@@ -61,9 +61,17 @@ runs:
|
|
|
working-directory: ${{ github.workspace }}/kernel
|
|
working-directory: ${{ github.workspace }}/kernel
|
|
|
run: |
|
|
run: |
|
|
|
cat >> "${{ github.workspace }}/wild_gki.fragment" << 'EOF'
|
|
cat >> "${{ github.workspace }}/wild_gki.fragment" << 'EOF'
|
|
|
|
|
+ CONFIG_ANDROID_KABI_RESERVE=y
|
|
|
|
|
+ CONFIG_ANDROID_VENDOR_OEM_DATA=y
|
|
|
CONFIG_SYSVIPC=y
|
|
CONFIG_SYSVIPC=y
|
|
|
CONFIG_POSIX_MQUEUE=y
|
|
CONFIG_POSIX_MQUEUE=y
|
|
|
CONFIG_IPC_NS=y
|
|
CONFIG_IPC_NS=y
|
|
|
CONFIG_PID_NS=y
|
|
CONFIG_PID_NS=y
|
|
|
CONFIG_DEVTMPFS=y
|
|
CONFIG_DEVTMPFS=y
|
|
|
EOF
|
|
EOF
|
|
|
|
|
+
|
|
|
|
|
+ if [ "${{ inputs.version }}" = "android16-6.12" ]; then
|
|
|
|
|
+ cat >> "${{ github.workspace }}/wild_gki.fragment" << 'EOF'
|
|
|
|
|
+ # CONFIG_ANDROID_BINDER_IPC_RUST is not set
|
|
|
|
|
+ EOF
|
|
|
|
|
+ fi
|