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
..
ea3131.h	paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING	2024-03-05 09:45:49 +08:00
lpc31_appinit.c
lpc31_boot.c	paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING	2024-03-05 09:45:49 +08:00
lpc31_buttons.c
lpc31_clkinit.c
lpc31_fillpage.c	paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING	2024-03-05 09:45:49 +08:00
lpc31_leds.c
lpc31_mem.c	Indent the define statement by two spaces	2023-05-21 09:52:08 -03:00
lpc31_spi.c
lpc31_usbhost.c	Remove the unnecessary cast for main_t, NULL and argv	2022-10-18 08:51:45 +02:00
Makefile	paging: Rename existing CONFIG_PAGING to CONFIG_LEGACY_PAGING	2024-03-05 09:45:49 +08:00