
さらに、内部Windowsデバイスの有名な教祖と有名なWindows Internals本の共著者の1人であるAlex Ionescuは、Windbgデバッガーの同じリリースのLXCore.sys Windows 10ドライバーの機能の1つのスクリーンショットをTwitterで示しました。 ELF64として知られるLinuxファイル。

図 LXCore.sysドライバーのLxElfValidateHeader64と呼ばれる実行可能な64ビットLinuxファイルのヘッダーの正確性をチェックする機能。 ドライバーとLinuxサブシステムの関係は、windbgのスタック上の他のドライバー関数の名前でも示されます。 たとえば、 LxpThreadGroupプレフィックスを持つ関数は、Windows NTでは使用できないLinuxの特別なカーネル構造である「スレッドグループ」での操作に関連しています。