Lines Matching refs:kernel

85   kernel/
86     # The kernel uapi header files. These are scrubbed copies of the originals
87     # in external/kernel-headers/. These files must not be edited directly. The
88     # generate_uapi_headers.sh script should be used to go from a kernel tree to
89     # external/kernel-headers/ --- this takes care of the architecture-specific
91     # scrubbed headers from external/kernel-headers/.
115     # because the Linux kernel interface is sufficiently different that we
152      kernel uapi header files, in which case you just need to make sure that
165 Updating kernel header files
171      contents for external/kernel-headers/.
246 32-bit bionic requires PIDs less than 65536. To enforce this, set /proc/sys/kernel/pid_max