I don't expect there are any header files for C since the kernel is written in fasm.
Well, there are a few headers for sound and syscall wrappers in repo, but not for block layer afaik.
The only driver for a storage device in C I remember is ahci driver by Serge
. He never shared its source.
It's not hard to write these header files. Nevertheless, you can't avoid writing some/most of code in assembly for this task.
Здесь есть описаны функции работы с диском. Но заголовочных файлов нет. Последний коммит кстати сделан именно dunkaist. dunkaist, вы об этом что нибудь знаете?
The file describes the interface between the kernel and a storage device driver. The information is useful to understand how things work, but what you need to implement is not another device driver.
May be CleverMouse
, the author, could elaborate on a high-level architecture needed to implement direct disk access.