GithubHelp home page GithubHelp logo

jeehoonkang / hafnium-verification Goto Github PK

View Code? Open in Web Editor NEW

This project forked from project-oak/hafnium-verification

0.0 0.0 0.0 1.3 MB

License: Apache License 2.0

Makefile 0.53% Python 2.05% Coq 14.41% Rust 31.41% C 40.22% C++ 7.62% Shell 0.57% Assembly 3.18%

hafnium-verification's People

Contributors

andrewscull avatar brazdil avatar conradgrobler avatar efenniht avatar hkim15 avatar jadephilipoom avatar jeehoonkang avatar jmarinho avatar joth76 avatar marcbonnici avatar qwandor avatar satnam6502 avatar wedsonaf avatar

Watchers

avatar

hafnium-verification's Issues

Questions

Files to read

api.c
fdt.c
fdt_handler.c
plat.c
arch

Skipped files

abi_test.cc
api_test.cc
fdt_handler_test.cc
fdt_test.cc
mm_test.cc
mpool_test.cc
spci_test.cc

BUILD.gn

Questions

  • abort.c: in abort loop, why nop, not yield?

  • api.c says:

    static_assert(HF_MAILBOX_SIZE == PAGE_SIZE,
"Currently, a page is mapped for the send and receive buffers so "
"the maximum request is the size of a page.");

    But HF_MAILBOX_SIZE is meaningfully used only in test/hftest/hftest_service.c, but it's a test
    file. Where the "send and receiver buffers" are defined?

  • mm.h: V O !X means "Owner of memory with access shared with at most one other VM.". What's interesting is "At most".

  • cpu.c: cpu_on()

  • cpu.c: vcpu_handle_page_fault()

  • load.c: mm_vm_unmap_hypervisor(): where hypervisor mm are mapped?

  • where "mem_ranges" comes from?

  • load.c: there are a very short time when the primary VM can access secondary ones (load_secondary,
    grant & deny).

  • load.c: when primary/secondary VM's secondary vCPUs are initialized? More generally, how VMs are booted?

cloc results

master as of 0964836:

     200 text files.
     198 unique files.                                          
      40 files ignored.

github.com/AlDanial/cloc v 1.82  T=0.08 s (1985.4 files/s, 242385.1 lines/s)
-------------------------------------------------------------------------------
Language                     files          blank        comment           code
-------------------------------------------------------------------------------
C                               75           1904           3363           7141
C/C++ Header                    53            482           1480           1379
C++                              7            194            443           1154
Assembly                        11            144            346            500
Python                           6             60            133            356
Markdown                         6             79              0            201
Bourne Shell                     2             29             70            102
make                             1             15             21             59
-------------------------------------------------------------------------------
SUM:                           161           2907           5856          10892
-------------------------------------------------------------------------------

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.