> uberSpark (Composable Verification of Commodity System Software)

Documentation

Described below are details on the software requirements and dependencies, build, verification and intallation of the uberSpark core libraries and hardware model

  1. Software Requirements and Dependencies
  2. Building and Installing uberSpark
  3. Verifying, Building and Installing uberSpark Libraries