4 Commits

Author	SHA1	Message	Date
notaz	d8a4f33192	cache: need an isb barrier on icache invalidate ... I don't have a switch but on r-pi4 it's easy to reproduce problems without this Instruction Synchronization Barrier. Better be safe than having "fun" dealing with super rare crashes.	2022-08-02 23:06:52 +02:00
Michael Scire	f60f82856a	cache: set flag in tlr when doing maintenance	2022-04-07 21:43:32 -04:00
plutoo	b34f59e179	ARM cache operations	2018-01-22 20:29:49 +01:00
plutoo	9a67c39fd0	Moved cache.s to arm/, implemented kernel/version.c, get rid of broken uart driver [for now]	2017-11-05 03:58:54 +01:00