qemu-e2k/docs/devel
Paolo Bonzini ac06724a71 docs: create config/, devel/ and spin/ subdirectories
Developer documentation should be its own manual.  As a start, move all
developer-oriented files to a separate directory.

Also move non-text files to their own directories: docs/config/ for
QEMU -readconfig input, and docs/spin/ for formal models to be used
with the SPIN model checker.

Reviewed-by: Daniel P. Berrange <berrange@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
2017-06-07 18:22:03 +02:00
..
atomics.txt
bitmaps.md
blkdebug.txt
blkverify.txt
build-system.txt
lockcnt.txt
memory.txt
migration.txt
multi-thread-tcg.txt
multiple-iothreads.txt
qapi-code-gen.txt
rcu.txt
tracing.txt
virtio-migration.txt
writing-qmp-commands.txt