AfonsoSantos96

University of Minho

Pinned Repositories

bao-baremetal-guest
A simple bare-metal for testing out bao
Language:C00
bao-ci
Language:Makefile00
bao-demos
A guide on how to build and use a set of Bao guest configurations for various platforms
Language:Makefile00
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
Language:C00
Cortex-R52
00
Doxygen_test
Language:Python00
run-clang-format
A wrapper script around clang-format, suitable for linting multiple files and to use for continuous integration
Language:Python00
Test
Language:Python11
travis_ci_setup
Language:C++00
bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
Language:C401 29 29140

AfonsoSantos96's Repositories

AfonsoSantos96/Test
Language:Python11
AfonsoSantos96/bao-baremetal-guest
A simple bare-metal for testing out bao
Language:C00
AfonsoSantos96/bao-ci
Language:Makefile00
AfonsoSantos96/bao-demos
A guide on how to build and use a set of Bao guest configurations for various platforms
Language:Makefile00
AfonsoSantos96/bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
Language:C00
AfonsoSantos96/Cortex-R52
00
AfonsoSantos96/Doxygen_test
Language:Python00
AfonsoSantos96/run-clang-format
A wrapper script around clang-format, suitable for linting multiple files and to use for continuous integration
Language:Python00
AfonsoSantos96/travis_ci_setup
Language:C++00