bunnei a32190d0c2 hle: kernel: k_system_control: Remove unnecessary inline.		2021-03-23 18:33:29 -07:00
..
k_memory_region_device_types.inc	hle: kernel: Add architecture and board specific memory regions.	2021-03-21 14:45:02 -07:00
k_system_control.cpp	hle: kernel: k_system_control: Remove unnecessary inline.	2021-03-23 18:33:29 -07:00
k_system_control.h	hle: kernel: board: k_system_control: Extend to include memory region sizes.	2021-03-21 14:45:03 -07:00
secure_monitor.h	hle: kernel: board: Add secure_monitor module.	2021-03-21 14:45:03 -07:00