About

An architecture for attestation. Features the Copland Attestation Manager and novel introspective measurements over Linux.

Prerequisites

• make
• curl
• git
• repo tool
• docker engine

How to build

1. repo init -u https://github.com/ku-sldg/attarch-manifest.git
2. repo sync
3. ./dockerfiles.sh
4. ./startDocker.sh
5. ./linux.sh 6.1.y
6. python3 ScrapeSystemMap.py attarch >> components/Measurement/configurations/linux_definitions.h
7. mkdir build && cd build
8. ../init-build.sh -DCAMKES_VM_APP=attarch -DPLATFORM=qemu-arm-virt
9. ninja
10. ./simulate

Notes

Use username "root" to login to the shell. The AM in the Linux VM will request measurement right after booting, and the AM in the seL4 thread will respond.