rtos

A microkernel built for the Raspberry Pi 4 with an included train controller to control a Marklin trainset.

Features

Name		Name	Last commit message	Last commit date
Latest commit History 191 Commits
user		user
.clang-format		.clang-format
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
boot.S		boot.S
circular_buffer.c		circular_buffer.c
circular_buffer.h		circular_buffer.h
debug.h		debug.h
event_task_queue.c		event_task_queue.c
event_task_queue.h		event_task_queue.h
exception.c		exception.c
exception.h		exception.h
exceptions.S		exceptions.S
irq.c		irq.c
irq.h		irq.h
kern.c		kern.c
linker.ld		linker.ld
mail.c		mail.c
mail.h		mail.h
rpi.c		rpi.c
rpi.h		rpi.h
syscall.c		syscall.c
syscall.h		syscall.h
task.c		task.c
task.h		task.h
task_queue.c		task_queue.c
task_queue.h		task_queue.h
timer.c		timer.c
timer.h		timer.h
uart.c		uart.c
uart.h		uart.h
util.c		util.c
util.h		util.h