Tiago Medicci Serrano ae9ef972c0 paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING ... Current `CONFIG_PAGING` refers to an experimental implementation to enable embedded MCUs with some limited RAM space to execute large programs from some non-random access media. On-demand paging should be implemented for the kernel mode with address environment implementation enabled.		2024-03-05 09:45:49 +08:00
..
irq.h	paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING	2024-03-05 09:45:49 +08:00