diff options
author | Richard Braun <rbraun@sceen.net> | 2017-09-21 01:23:37 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2017-09-21 01:26:09 +0200 |
commit | 1ff3666dc29c0eacf911c57d3e6b6a62bdc9cb78 (patch) | |
tree | a1c7d98eb2a370975bd82c6d3dc16349636ddddf /vm | |
parent | d115a8cee02be828d46651a5fc91fdbfe23985f2 (diff) |
New build system
The new build system, called xbuild, is a minimalistic kbuild-like
make-based build system, also using kconfig for scalable configurations.
Diffstat (limited to 'vm')
-rw-r--r-- | vm/Makefile | 5 | ||||
-rw-r--r-- | vm/vm_map.c | 4 | ||||
-rw-r--r-- | vm/vm_page.c | 6 |
3 files changed, 10 insertions, 5 deletions
diff --git a/vm/Makefile b/vm/Makefile new file mode 100644 index 00000000..a42fe244 --- /dev/null +++ b/vm/Makefile @@ -0,0 +1,5 @@ +x15_SOURCES-y += \ + vm/vm_kmem.c \ + vm/vm_map.c \ + vm/vm_object.c \ + vm/vm_page.c diff --git a/vm/vm_map.c b/vm/vm_map.c index 713d92f0..c0e9e116 100644 --- a/vm/vm_map.c +++ b/vm/vm_map.c @@ -699,7 +699,7 @@ vm_map_init(struct vm_map *map, struct pmap *pmap, map->pmap = pmap; } -#ifdef X15_ENABLE_SHELL +#ifdef CONFIG_SHELL static void vm_map_shell_info(int argc, char **argv) @@ -744,7 +744,7 @@ INIT_OP_DEFINE(vm_map_setup_shell, INIT_OP_DEP(task_setup, true), INIT_OP_DEP(vm_map_setup, true)); -#endif /* X15_ENABLE_SHELL */ +#endif /* CONFIG_SHELL */ static int __init vm_map_bootstrap(void) diff --git a/vm/vm_page.c b/vm/vm_page.c index cc6963fc..7f419b97 100644 --- a/vm/vm_page.c +++ b/vm/vm_page.c @@ -107,7 +107,7 @@ struct vm_page_free_list { * Zone of contiguous memory. */ struct vm_page_zone { - struct vm_page_cpu_pool cpu_pools[X15_MAX_CPUS]; + struct vm_page_cpu_pool cpu_pools[CONFIG_MAX_CPUS]; phys_addr_t start; phys_addr_t end; @@ -657,7 +657,7 @@ vm_page_info_common(int (*print_fn)(const char *format, ...)) } } -#ifdef X15_ENABLE_SHELL +#ifdef CONFIG_SHELL static void vm_page_info(void) @@ -691,7 +691,7 @@ INIT_OP_DEFINE(vm_page_setup_shell, INIT_OP_DEP(shell_setup, true), INIT_OP_DEP(vm_page_setup, true)); -#endif /* X15_ENABLE_SHELL */ +#endif /* CONFIG_SHELL */ static int __init vm_page_setup(void) |