Closed mattmacy closed 5 years ago
Note that with superpages enabled the kernel work fine in the simulator with SMT4 but on real hardware the kernel crashes mid-boot. This points to bugs in the invalidation code.
stable after ce6886fb063048139fb0498aea59b25aa6957272
Code complete but needs to be stabilized on hardware.