Merge branch 'bob' of https://repo.or.cz/RPi-MMU-example into alice

# Conflicts:
#	src/arm/PL1/kernel/interrupts.c

1 files changed, 4 insertions, 0 deletions

diff --git a/TODOs b/TODOs
index ebfafc5..dd7707e 100644
--- a/TODOs
+++ b/TODOs
@@ -54,6 +54,10 @@ high priority TODOs are higher; low priority ones and completed ones are lower;
 
 * write some procedures for dumping registers and other stuff (for use in debugging); maybe print registers' contents on data/prefetch abort?
 
+* Memory regions can be configured as one of several types, which affects how memory reads/writes are performed by the processor. Dig into that and use the best appropriate settings in paging.c (i.e. normal memory instead of strongly-ordered memory for RAM).
+
+* In the Makefile: is =? the right assignment for, say, CFLAGS?
+
 * partially DONE - one can always add more, but we have the most important stuff * Implement some basic utilities for us to use (memcpy, printf, etc...)
 
 * partailly DONE - svc works; once we implement processes we could also kill them on aborts * develop userspace process supervision (handling of interrupt caused by svc instruction, proper handling of other data abort, undefined instruction, etc.)