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

boot/ is the target directory for all the files that will need to be copied to a SD card. This folder will contain files which 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

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
.github/workflows		.github/workflows
boot		boot
circle @ 4b3e06f		circle @ 4b3e06f
doc		doc
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.gitmodules		.gitmodules
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
compile.sh		compile.sh
init.sh		init.sh
kernel.cpp		kernel.cpp
kernel.h		kernel.h
main.cpp		main.cpp
memory_config.h		memory_config.h
mt19937ar.cpp		mt19937ar.cpp
mt19937ar.h		mt19937ar.h
spi_memory.cpp		spi_memory.cpp
spi_memory.h		spi_memory.h