Lines Matching refs:kernel

66 	  This supports kernel information backup for bootloader usage.
77 	  This option enables the padding that the Android GKI kernel adds
78 	  to many different kernel structures to support an in-kernel stable ABI
79 	  over the lifespan of support for the kernel.
82 	  kernel drivers, but is NOT an Android GKI kernel image. If disabled
83 	  it has the possibility to make the kernel static and runtime image
85 	  kernel team.
93 	  This option enables the padding that the Android GKI kernel adds
94 	  to many different kernel structures to support an in-kernel stable ABI
95 	  over the lifespan of support for the kernel as well as OEM additional
96 	  fields that are needed by some of the Android kernel tracepoints. The
101 	  kernel drivers, but is NOT an Android GKI kernel image and you do NOT
102 	  use the Android kernel tracepoints. If disabled it has the possibility
103 	  to make the kernel static and runtime image slightly smaller but will
104 	  NOT be supported by the Google Android kernel team.