Michael Scire 71a2fe1bb6 kern: implement new software-reserved page table bits		2020-12-02 06:43:37 -08:00
..
svc	kern: SvcLegacyGetFutureThreadInfo	2020-08-18 15:17:40 -07:00
kern_cpu.cpp	kern: rename CacheHelper operation for accuracy	2020-08-18 15:17:40 -07:00
kern_cpu_asm.s
kern_exception_handlers.cpp	kern: fix missing scheduler updates in KLightLock/Exception, fix RequestScheduleOnInterrupt	2020-08-18 15:17:40 -07:00
kern_k_debug.cpp
kern_k_hardware_timer.cpp	kern: build with -Wextra	2020-08-17 14:20:24 -07:00
kern_k_interrupt_controller.board.generic.cpp	kern: use common GIC implementation for arm/arm64	2020-08-18 15:17:40 -07:00
kern_k_interrupt_manager.cpp	kern: add tracing for irq/scheduling	2020-08-18 15:17:40 -07:00
kern_k_page_table.cpp	kern: implement new software-reserved page table bits	2020-12-02 06:43:37 -08:00
kern_k_page_table_impl.cpp	kern: implement new software-reserved page table bits	2020-12-02 06:43:37 -08:00
kern_k_supervisor_page_table.cpp
kern_k_thread_context.cpp	kern: build with -Wextra	2020-08-17 14:20:24 -07:00
kern_panic_asm.s	kern: generate fatal error on panic	2020-09-17 08:26:08 -07:00
kern_userspace_memory_access_asm.s