Raspberry Pi Measurement Kernel

Bare minimum Kernel for the Raspberry Pi to examine memory chips via SPI. Currently being used as a ReRAM-based TRNG.

Setup

See the setup documentation!

Credits

• boot/ is the target directory for all the files that will need to be copied to an SD card. This folder will contain files that are taken directly from raspberrypi/firmware

• circle/ is a submodule that includes Rene Stange's circle framework, which provides all the bare metal driver implementations we need

• Makefile is a modified version of the Makefile that Rene Stange's circle framework suggests

• doc/Wiring* files have been generated using Fritzing

• mt19937ar* files are modified versions of Takuji Nishimura's and Makoto Matsumoto's Mersenne Twister implementation

• This work has been partially funded by the Interreg VI-A Programme Germany/Bavaria-Austria 2021-2027 - Programm INTERREG VI-A Bayern-Österreich 2021-2027, as part of Project BA0100016: "CySeReS-KMU: Cyber Security and Resilience in Supply Chains with focus on SMEs", co-funded by the European Union, and by the German Research Foundation - Deutsche Forschungsgemeinschaft (DFG), under Projects 440182124: "PUFMem: Intrinsic Physical Unclonable Functions from Emerging Non-Volatile Memories", and 439892735: "NANOSEC: Tamper-Evident PUFs Based on Nanostructures for Secure and Robust Hardware Security Primitives" of the Priority Program - SchwerPunktProgramme (SPP) 2253: "Nano Security: From Nano-Electronics to Secure Systems".