> uberSpark (Composable Verification of Commodity System Software) Documentation

Verifying, Building and Installing uberSpark Libraries

While in the top-level directory of the uberSpark source-tree, perform the following tasks in order:

cd src/libs
./bsconfigure.sh
./configure
make verify-ubersparklibs
make build-ubersparklibs
sudo make install