From the course: Linux Device Drivers: Reading, Writing, and Debugging
Join today to access over 25,500 courses taught by industry experts.
The kernel make system - Linux Tutorial
From the course: Linux Device Drivers: Reading, Writing, and Debugging
The kernel make system
- [Instructor] Let's talk about making a Linux kernel, configuring Linux kernel. That all means using the make command. So in the top-level directory for the Linux kernel source is a make file, and make file defines some variables including version of the kernel. And it has lots of targets including make help. And, of course, you could build a kernel. You could build the modules. You could build the documentation, like PDF files. You can clean things up. You can configure the kernel. So there's tools to configure the kernel that you launch by a make command. You can run tests. And you can package up the kernel into a package ready for distribution, for example. The kernel make system is quite sophisticated and quite prevalent through the whole directory structure. So make files are spread throughout the source tree. And when it comes to configuring the kernel, there are files called Kconfig files. They're spread throughout the source tree. And when you're configuring a kernel, you're…
Practice while you learn with exercise files
Download the files the instructor uses to teach the course. Follow along and learn by watching, listening and practicing.
Download courses and learn on the go
Watch courses on your mobile device without an internet connection. Download courses using your iOS or Android LinkedIn Learning app.