最新のカーネル ソース (おそらく 4.0-rc4) を入手するか、パッチをバックポートする必要があります。基本的に script/gdb/
があるかどうかを確認します カーネルソースのこのようなディレクトリ。これらのスクリプトを取得する場所だからです。
次に、https://www.kernel.org/doc/Documentation/dev-tools/gdb-kernel-debugging.rst に記載されている手順に従います
Bluetooth Low Energy in C - Bluez を使用して GATT サーバーを作成する
404 が見つかりません。要求された URL <<url name>> がこのサーバーの wordpress に見つかりません