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
1d34db8497
Improve atomics
2018-03-10 14:41:06 +01:00
plutoo
a102c64341
Introduce atomics.c, refcounting on all services
2018-03-10 14:33:40 +01: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