11/7/2023 0 Comments Linux kernel![]() ![]() If you have installed a version of Ubuntu and you want to make changes to the kernel that is installed on your system, use the apt-get method (described below) to obtain the sources. The two main ways will be documented here. There are a number of different ways of getting the kernel sources. Obtaining the source for an Ubuntu release For example, on Disco Dingo you should have: ![]() The above command requires your system to have the correct deb-src lines in /etc/apt/sources.list. If you are going to be using git, install it via: sudo apt-get install libncurses-dev gawk flex bison openssl libssl-dev dkms libelf-dev libudev-dev libpci-dev libiberty-dev autoconf llvm. ![]() The current Disco Dingo release requires the following additional packages. Unfortunately, the above does not install all of the necessary dependencies. sudo apt-get build-dep linux linux-image-$(uname -r).If you have not built a kernel on your system before, there are some packages needed before you can successfully build. It is not intended to be the definitive guide to doing Ubuntu kernel development. The purpose of this page is to give that user a minimum amount of information for them to meet the goal of making a simple change to the kernel, building it and installing their kernel. In many cases the user just wants to make a kernel configuration change. The majority of users that are interested in building their own kernel are doing so because they have installed Ubuntu on their system and they wish to make a small change to the kernel for that system. This page describes how to build the kernel. Obtaining the source for an Ubuntu release. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |