Michael Scire 14d458522d kern: update initial cache management to match latest kernel		2021-07-12 18:30:01 -07:00
..
svc	kern: mostly kill magic numbers in assembly, fix SVCs >= 0x80	2021-04-14 18:01:08 -07:00
kern_cpu.cpp	kern: update initial cache management to match latest kernel	2021-07-12 18:30:01 -07:00
kern_cpu_asm.s
kern_exception_handlers.cpp	kern: update pinning semantics for terminating threads	2021-04-11 03:42:16 -07:00
kern_k_debug.cpp
kern_k_hardware_timer.cpp
kern_k_interrupt_controller.board.generic.cpp
kern_k_interrupt_manager.cpp	kern: update KInterruptEvent to store core id	2021-04-11 03:42:16 -07:00
kern_k_page_table.cpp	kern: implement improved [new page tables are zero] invariant	2021-06-17 13:03:46 -07:00
kern_k_page_table_impl.cpp
kern_k_supervisor_page_table.cpp
kern_k_thread_context.cpp
kern_panic_asm.s	kern: mostly kill magic numbers in assembly, fix SVCs >= 0x80	2021-04-14 18:01:08 -07:00
kern_userspace_memory_access_asm.s	kern: trivially optimize userspace io memory write	2021-04-11 03:42:16 -07:00