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
..
nsh	boards: Update all boards config after updating NSH_CMDPARMS	2023-01-23 03:04:51 +08:00
pgnsh	paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING	2024-03-05 09:45:49 +08:00
usbserial	sched: Remove SDCLONE_DISABLE option and config	2022-01-31 19:03:20 +01:00