ディストリビューションのカーネルソースを使いたいと思うと、RPMパッケージで入手するらしく、展開方法などお作法が分かりずらかったので備忘録に残しておく。 まずは必要なパッケージをインストールする。 # dnf install fedpkg fedora-packager rpmdevtoo…