Lines Matching full:kernel

66 which is passed to the kernel at boot time.
68 The kernel (driver) learns about hardware resources details and dependencies
70 any information about the underlying platform hardware resources in the kernel.
76 description to the kernel.
81 layer allows any platform code in the kernel to retrieve information about
100 to the final consumer (typically kernel) for parsing and processing of its
132 .Sh "BUILDING KERNEL"
137 kernel level.
140 Specifies device tree source (DTS) files for a given kernel.
142 along with building the kernel itself.
147 Specifies device tree source overlay (DTSO) files for a given kernel.
148 Overlay files will be built with the kernel as with the makeoption
157 support in the kernel.
160 kernel support, which primarily are the
167 kernel.
168 It will be built along with the kernel as if it were supplied via the makeoption
175 separate from the kernel, but this option lets statically embed a
176 DTB file into a kernel image.
179 specified in order to embed it into the kernel image).