Using Yocto to configure the Linux kernel