Documented memory manager property
[jnode:svn-mirror.git] / jnode.properties.dist
1 # This file contain custom JNode properties used in the JNode build process.
2 #
3 # Copy this file to jnode.properties and edit that file as needed.
4 #
5
6 # -----------------------------------------------
7 # Settings for initjar building
8
9 # Set this directory to the directory containing custom plugin lists 
10 # if you have custom initjars to build.
11 # custom.plugin-list.dir = ${root.dir}/local/plugin-lists/
12
13 # Uncomment this property if you do not want the default initjars to be build.
14 # no.default.initjars = 1
15
16 # -----------------------------------------------
17 # Settings for the bootdisk image
18
19 # Uncomment this property if you do not want bootdisk image to be build.
20 # no.bootdisk = 1
21
22 # -----------------------------------------------
23 # Settings for the netboot build
24
25 # Uncomment this property if you do not want netboot directory to be build.
26 # no.netboot = 1
27
28 # -----------------------------------------------
29 # Settings for the memory manager
30
31 # Uncomment to enable future MMTk based memory manager (does not work yet)
32 # jnode.memmgr.plugin.id=org.mmtk
33