ISOをダウンロードしようとしたら、カーネルエクスプロイトを書くことになった

筆者です。残りのドライバについてどうすればよいかご存知の方はいらっしゃいますか？同じバグクラスを持つインツリードライバが少なくとも13個見つかりました。厄介なのは、x86では問題なく動作するのに、ARMやその他の非コヒーレントアーキテクチャではサイレントにデータを破損させることです。そして、テストするためのハードウェアがありません。 DMA APIがそのためにあり、ドライバは手動でキャッシュメンテナンスを行うべきではないと推測しますが、私はカーネル開発者ではないので、何か見落としているのかもしれません。