Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add cortex-m arm-support for s2e #13

Open
wants to merge 8 commits into
base: v3.0.0-se
Choose a base branch
from

Commits on Oct 16, 2019

  1. feat: add support for compiling ARM KVM mode on X86

    To achieve this the linux-headers directory must be symlinked on a per-targe
    basis (rather than per host). We also need to break the target and host
    compatibility checks in KVM mode.
    
    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Oct 16, 2019
    Configuration menu
    Copy the full SHA
    cccfd88 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2019

  1. feat:add cortex-m kvm vcpu init

    For cortex-m, cpu has to reset before vcpu init.
    Add vcpu_ioctl interfacs for cortex regs and sregs rw.
    
    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    7ff4308 View commit details
    Browse the repository at this point in the history
  2. feat: add armv7m_space_memory for sync cortex-m SCS memory region

    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    f01c20b View commit details
    Browse the repository at this point in the history
  3. refactor: separate necessary nvic interfaces which also used for cort…

    …ex-m cpu interrupt
    
    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    d891238 View commit details
    Browse the repository at this point in the history
  4. feat:sync sregs when cpu exit due to KVM_EXIT_SYNC_ARM_V7M_SREGS

    Add kvm_cortex_m_vcpu_sync(CPUState *cs) interfaces to sync sregs between kvm cpu env with tcg env.
    
    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    028f54b View commit details
    Browse the repository at this point in the history
  5. add roms/vgabios/ for .gitignore

    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    65494a1 View commit details
    Browse the repository at this point in the history
  6. kvm: add api to register fixed memory regions for armv7m

    now only add for mps AN511 version
    
    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    4a48a29 View commit details
    Browse the repository at this point in the history
  7. arm kvm: add cortex-m get regs for original one

    Signed-off-by: chaojixx <wpz5080@psu.edu>
    weizhou-chaojixx committed Nov 16, 2019
    Configuration menu
    Copy the full SHA
    f75992a View commit details
    Browse the repository at this point in the history