linux カーネルソースがない件について

Question

linuxのカーネルソースは一般に、/usr/src/linux にあるとされているようですが、
自分の仮想マシンのlinux(ubuntu)にはありません。

https://life-is-command.com/where-is-usr-src-linux/

上記サイトにて、後からダウンロードして配置しなければ無いというようなことが書かれて
いますが、現在初期として稼働中のカーネルのソースというものにはアクセスできないのでしょうか？

勉強がてらのため上の手段でも良いのですが、少しすっきりしませんので質問させて頂きました。

よろしくお願いいたします。<(_ _)>

Answer 1

コンパイルされたプログラムを実行する際にはソースプログラムは必要ありません。
LinuxカーネルもCやアセンブラで書かれたプログラムなので、実行時にはソースプログラムは必要ないのでOSをインストールしただけではソースプログラムはインストールされません。
Windowsカーネルのソースコードなど、そもそも公開すらされていません。

カーネルのソースプログラムを見たい場合は、uname -a等でカーネルのバージョンを調べて、それに該当するカーネルソースパッケージをインストールする必要があります。

Comments

[akiyama_pga]

毎度的確なご回答ありがとうございます。
確かによく考えますと、pythonで言うpyinstallerでアプリ化した際にそれに使用したソースファイルが無くても実行できるのと同様で、それのC言語バージョンだと考えますと、ソースコードが無いのにも納得できます。
自分も苦労して作成したスクレイピングのソースはアプリ化してソースコードは外部に漏らしたくないと考えます。

Answer 2

パッケージとして提供されています。

$ lsb_release -dr
Description:	Ubuntu Jammy Jellyfish (development branch)
Release:	22.04

$ apt show linux-source-5.15.0
Package: linux-source-5.15.0
Version: 5.15.0-18.18
Priority: optional
Section: devel
Source: linux
Origin: Ubuntu
Maintainer: Ubuntu Kernel Team <[e-mail]>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 170 MB
Provides: linux-source
Depends: binutils, bzip2, coreutils
Recommends: libc-dev, gcc, make
Suggests: libncurses-dev | ncurses-dev, kernel-package, libqt3-dev
Download-Size: 153 MB
APT-Sources: http://jp.archive.ubuntu.com/ubuntu jammy/main amd64 Packages
Description: Linux kernel source for version 5.15.0 with Ubuntu patches
 This package provides the source code for the Linux kernel version
 5.15.0.
 .
 This package is mainly meant for other packages to use, in order to build
 custom flavours.
 .
 If you wish to use this package to create a custom Linux kernel, then it
 is suggested that you investigate the package kernel-package, which has
 been designed to ease the task of creating kernel image packages.
 .
 If you are simply trying to build third-party modules for your kernel,
 you do not want this package. Install the appropriate linux-headers
 package instead.

$ sudo apt install linux-source-5.15.0

$ dpkg --listfiles linux-source-5.15.0 | head
/.
/usr
/usr/share
/usr/share/doc
/usr/share/doc/linux-source-5.15.0
/usr/share/doc/linux-source-5.15.0/changelog.Debian.gz
/usr/share/doc/linux-source-5.15.0/copyright
/usr/src
/usr/src/linux-source-5.15.0
/usr/src/linux-source-5.15.0/debian

Comments

[akiyama_pga]

ご回答ありがとうございます。
ご提示の方法でインストールしてみたいと存じます。

[melian]

不的確な回答を書いてしまい申し訳ありませんでした。