VirtualBoxを幸せにするために関連するCoreOS Linuxヘッダーをインストールするにはどうすればよいですか?

VirtualBoxを幸せにするために関連するCoreOS Linuxヘッダーをインストールするにはどうすればよいですか?

これが私がどれだけ離れてきたかです:

echo "deb http://download.virtualbox.org/virtualbox/debian jessie contrib" | tee -a /etc/apt/sources.list
wget -q https://www.virtualbox.org/download/oracle_vbox_2016.asc -O- | apt-key add -
apt-get update
apt-get install -y linux-headers-amd64 virtualbox-5.1
dpkg-reconfigure virtualbox-5.1

しかし、エラーメッセージが表示されます。

dpkg-query: no path found matching pattern /lib/modules/4.7.3-coreos-r2/kernel
vboxdrv.sh: failed: Look at /var/log/vbox-install.log to find out what went wrong.
dpkg-query: no path found matching pattern /lib/modules/4.7.3-coreos-r2/kernel
This system is not currently set up to build kernel modules (system extensions).
Running the following commands should set the system up correctly:

  apt-get install -headers-4.7.3-coreos-r2
(The last command may fail if your system is not fully updated.)
  apt-get install -headers-r2

画面の指示が-headers-4.7.3-coreos-r2存在しないため、正しくありません。でもなくlinux-headers-4.7.3-coreos-r2。私もそれを試して拡張してlinux-headers-$(uname-r)インストール候補がないと言いましたlinux-headers-4.7.3-coreos-r2linux-headers-generic

答え1

要件はカーネルヘッダではなく、カーネル開発パッケージの要件だと思います。 kernel-develパッケージは.koモジュールを提供します。カーネル開発パッケージのapt-getのインストールが役立つことを確認してください。

答え2

基本的な問題を解決しましたが、コアは異なります。

  • 基本的な問題は、通常のカーネルがある場合はkernel-developRHELまたはdebianでのみ機能することです。linux-headers-genericここで、CoreOSはカスタムカーネルを使用します。

  • linux-headers-genericCoreOSで動作するのと同等のものを取得する方法が見つかりません。私はそれがGPLなので、インターネット考古学の知識が十分であれば可能であると確信しています。

  • VirtualBoxは、私がアクセスできないDockerホストにカーネルモジュールをロードする必要があるため、最初にDockerのGitLabs CoreOSでこれを行う必要はありません。 (私が集めた限り)

  • また、カーネルを通常のカーネルに切り替えることは必ずしも可能ではありません。

代わりに専属マスターに行きました。順番に、同じ基本的な問題を持つカスタムカーネルがあります。

答えは、実際にカーネルの修正を見つけて、/usr/src次のように準備することです。

https://github.com/scaleway/kernel-tools#how-to-build-a-custom-kernel-module

関連情報