SEL4PROJ / AOS

Advanced Operating Systems project
https://www.cse.unsw.edu.au/~cs9242/
19 stars 17 forks source link

Remove unnecessary and misleading cache ops #12

Closed lucypa closed 1 year ago

lucypa commented 1 year ago

The odroid has a PIPT cache and does not need to enforce cache coherency across virtual address spaces. However, the elf loading code and provided frame functions insinuated that cache maintenance was required. This leads to a poor understanding of cache management for students.