Skip to content

mit-enclaves/hardware_tests

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
.gitignore
.gitignore
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
infrastructure.S
infrastructure.S
 
 
infrastructure.c
infrastructure.c
 
 
infrastructure.lds
infrastructure.lds
 
 
make_idpt.py
make_idpt.py
 
 
test_empty.S
test_empty.S
 
 
test_fail.S
test_fail.S
 
 
test_sanctum_epar_jump_giga_page.S
test_sanctum_epar_jump_giga_page.S
 
 
test_sanctum_epar_jump_kilo_page.S
test_sanctum_epar_jump_kilo_page.S
 
 
test_sanctum_epar_jump_mega_page.S
test_sanctum_epar_jump_mega_page.S
 
 
test_sanctum_epar_load_giga_page.S
test_sanctum_epar_load_giga_page.S
 
 
test_sanctum_epar_load_kilo_page.S
test_sanctum_epar_load_kilo_page.S
 
 
test_sanctum_epar_load_mega_page.S
test_sanctum_epar_load_mega_page.S
 
 
test_sanctum_epar_store_giga_page.S
test_sanctum_epar_store_giga_page.S
 
 
test_sanctum_epar_store_kilo_page.S
test_sanctum_epar_store_kilo_page.S
 
 
test_sanctum_epar_store_mega_page.S
test_sanctum_epar_store_mega_page.S
 
 
test_sanctum_memrbm_jump.S
test_sanctum_memrbm_jump.S
 
 
test_sanctum_memrbm_load.S
test_sanctum_memrbm_load.S
 
 
test_sanctum_memrbm_load_giga_page_first_part.S
test_sanctum_memrbm_load_giga_page_first_part.S
 
 
test_sanctum_memrbm_load_giga_page_second_part.S
test_sanctum_memrbm_load_giga_page_second_part.S
 
 
test_sanctum_memrbm_store.S
test_sanctum_memrbm_store.S
 
 
test_sanctum_mmrbm_jump.S
test_sanctum_mmrbm_jump.S
 
 
test_sanctum_mmrbm_load.S
test_sanctum_mmrbm_load.S
 
 
test_sanctum_mmrbm_load_giga_page_first_part.S
test_sanctum_mmrbm_load_giga_page_first_part.S
 
 
test_sanctum_mmrbm_load_giga_page_second_part.S
test_sanctum_mmrbm_load_giga_page_second_part.S
 
 
test_sanctum_mmrbm_store.S
test_sanctum_mmrbm_store.S
 
 
test_sanctum_par_jump_giga_page.S
test_sanctum_par_jump_giga_page.S
 
 
test_sanctum_par_jump_kilo_page.S
test_sanctum_par_jump_kilo_page.S
 
 
test_sanctum_par_jump_mega_page.S
test_sanctum_par_jump_mega_page.S
 
 
test_sanctum_par_load_giga_page.S
test_sanctum_par_load_giga_page.S
 
 
test_sanctum_par_load_kilo_page.S
test_sanctum_par_load_kilo_page.S
 
 
test_sanctum_par_load_mega_page.S
test_sanctum_par_load_mega_page.S
 
 
test_sanctum_par_store_giga_page.S
test_sanctum_par_store_giga_page.S
 
 
test_sanctum_par_store_kilo_page.S
test_sanctum_par_store_kilo_page.S
 
 
test_sanctum_par_store_mega_page.S
test_sanctum_par_store_mega_page.S
 
 

Repository files navigation

Hardware Tests

This repository contains simple tests to verify the implementation correctness of the Citadel memory isolation mechanisms introduced by Sanctum.

About

Tests for Citadel Hardware

Resources

Readme
Activity
Custom properties

Stars

1 star

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages