rpi-MMU-example - Simple kernel to present usage of Memory Management Unit, under Raspberry Pi 3B running libre firmware

Mode	Name	Size
-rw-r--r--	HISTORY.md	8737	log plain
-rw-r--r--	Makefile	1985	log plain
-rw-r--r--	PL0_test.c	517	log plain
-rw-r--r--	PL0_test.ld	977	log plain
-rw-r--r--	README.md	0	log plain
-rw-r--r--	TODOs	2923	log plain
-rw-r--r--	boot.S	1106	log plain
-rw-r--r--	cp_regs.h	3596	log plain
-rw-r--r--	demo_functionality.c	5798	log plain
-rw-r--r--	demo_functionality.h	285	log plain
d---------	docs	33	log plain
-rw-r--r--	global.h	293	log plain
-rw-r--r--	interrupt_vector.S	379	log plain
-rw-r--r--	interrupts.c	628	log plain
-rw-r--r--	kernel.c	1014	log plain
d---------	lib / rs232	32	log plain
-rw-r--r--	libkernel.c	374	log plain
-rw-r--r--	libkernel.h	112	log plain
-rw-r--r--	linker.ld	2634	log plain
-rw-r--r--	loader_stage1.c	873	log plain
-rw-r--r--	loader_stage1.ld	1199	log plain
-rw-r--r--	loader_stage2.c	879	log plain
-rw-r--r--	loader_stage2.ld	794	log plain
-rw-r--r--	memory.h	1324	log plain
-rw-r--r--	paging.c	3633	log plain
-rw-r--r--	paging.h	82	log plain
-rw-r--r--	pipe_image.c	2677	log plain
-rw-r--r--	psr.h	1926	log plain
-rw-r--r--	strings.h	238	log plain
-rw-r--r--	translation_table_descriptors.h	6732	log plain
-rw-r--r--	uart.c	2246	log plain
-rw-r--r--	uart.h	1347	log plain