Short note
---------
# 1. Clone the kernel to your local machine
$ git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git
$ cd linux-stable
# 1.1 optional Github mirror link, i prefer github over kernel.org
$ git clone https://github.com/torvalds/linux.git
$ cd linux
# 2. check kernel version
$ make kernelversion
$ uname -ra
# 3. Find the tag for the version you want
$ git tag -l | grep 4.20
v4.20
v4.20.rc...
# 4. Create a new branch with that tag
$ git checkout -b my4.20 v4.20
# 5. use Ubuntu proper config
# 5.1 use default defconfig for the system
$ make defconfig
# 5.2 use current ubuntu config, /boot/config-*
$ cp /boot/config-`uname -r` .config
# if same version or very close to current version
$ make oldconfig
# otherwise, choose default one, very safe
$ yes '' | make oldconfig
# 5.2.1 optional, change kernel options
$ make menuconfig
#make debian packages, *.deb will be copied in ../ (outside of linux build root)
$ make deb-pkg -j 16
# copied *.deb to target machine. Generally 3 files
# then install debian package. No particular order is required
$ sudo dpkg -i *.deb
'Programming' 카테고리의 다른 글
핸드폰 비디오 rotate하기 (0) | 2019.08.14 |
---|---|
FFMPEG으로 비디오 파일에서 10초만 짤라서 만들기 (0) | 2019.08.13 |
MinGW-w64 install (0) | 2017.01.22 |
github에서 배우는 machine learning, deep learning (0) | 2017.01.07 |
github - awesomo (0) | 2017.01.07 |