/docs/briefs/
../
tb0001-pic-in-32-bit-x86-assembly.rst
tb0002-x86_64_bootstrap.rst
tb0003-facet-based-capability-dispatch.rst
tb0004-device-tree-ownership-and-registries.rst
tb0005-device-resources.rst
tb0006-compile-time-driver-self-registration.rst