Formalizing the kernel module ABI (#83)

* First iteration of the ioctl protocol specification

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Rewriting the reference guide as part of the sphinx documentation

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Fixing some inaccuracies

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Extending the usage section of the ctl devices

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Renaming the kernel ABI reference again

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Improving on the device file naming conventions

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Further tweaks

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Resolving most todos

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Removing the false necessity that reprogramming needs hotplugging

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Documented that /dev path names may not persist across resets

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* Removing the TODO on the concurrency model

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>

* docs: kernel abi: Clarify concurrency model intent and current state

Signed-off-by: Vlad-Gabriel Serbu <Vlad-Gabriel.Serbu@amd.com>

---------

Signed-off-by: Jan-Oliver Opdenhövel <jopdenho@amd.com>
Signed-off-by: Vlad-Gabriel Serbu <Vlad-Gabriel.Serbu@amd.com>
Co-authored-by: Vlad-Gabriel Serbu <Vlad-Gabriel.Serbu@amd.com>

Author: JOOpdenhoevel

docs/index.rst

@@ -35,6 +35,7 @@ management, and memory operations.
 
    reference/vrt-api/index
    reference/libslash-api/index
+   reference/kernel-abi/index
    reference/libvrtd-api/index
    reference/libvrtdpp-api/index
    reference/vrtd/index