Skip to content
Snippets Groups Projects
Select Git revision
  • e80c1e4c7d057fe5c96db588e651b934757a912e
  • esp32_c3_bringup default
  • master
3 results

spin

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    Paolo Bonzini authored
    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: default avatarDaniel P. Berrange <berrange@redhat.com>
    Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
    ac06724a
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.