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
# Custom GRUB menu for JNode CD image
14
#grub.menu.cdrom=${root.dir}/local/menu-cdrom.lst
15
16
# Uncomment this property if you do not want the default initjars to be build.
17
# no.default.initjars = 1
18
19
# Set this property to the directory containing user applications for the 
20
# jar packager (tool to easily create a jnode plugin from a regular jar file)
21
# user.applications.dir = ${root.dir}/local/applications/
22
23
# The jar packager adds the user plugins to the plugin list specified here.
24
# target.plugin.list=default
25
26
# -----------------------------------------------
27
# Settings for the bootdisk image
28
29
# Uncomment this property if you do not want bootdisk image to be build.
30
# no.bootdisk = 1
31
32
# -----------------------------------------------
33
# Settings for the netboot build
34
35
# Uncomment this property if you do not want netboot directory to be build.
36
# no.netboot = 1
37
38
# -----------------------------------------------
39
# Settings for the memory manager
40
41
# Default memory manager (selected when no other memory manager is selected)
42
# jnode.memmgr.plugin.id=org.jnode.vm.memmgr.def
43
44
# Uncomment to enable MMTk NoGC based memory manager (still very beta)
45
# jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.nogc
46
47
# Uncomment to enable MMTk GenRC based memory manager (still very alpha)
48
# jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.genrc
49
50
# -----------------------------------------------
51
# Settings for the document-plugins task
52
53
# Uncomment this if you want the document-plugins task to include a tree page.
54
# You must have dot installed for this, see http://www.graphviz.org/
55
# jnode.plugin.doc.tree = true
56
57
# -----------------------------------------------
58
# Settings for use of NT bootloader (NT/Me/XP)
59
60
# Changes these values to match the disk/partition where windows is installed.
61
# the value is of the form (hdx,y) where :
62
# - x is the disk number (starting from 0)
63
# - y is the partition number (starting from 0)
64
partition-nt=(hd0,1)
65
66
# Path to install jnode. The drive must be where is installed windows
67
jnode.install-nt.dir=C:\jnode
68
69
# -----------------------------------------------
70
# Settings for the compiler
71
72
# Uncomment this if you want use custom compiler arguments
73
#compilerarg=-Xlint:unchecked
74
75
# -----------------------------------------------
76
# Set up the host and port where the JNode debugger server is available.
77
# This is needed by the hotswap ant target.
78
jnode.debugger.host=
79
jnode.debugger.port=6789
80
81
# -----------------------------------------------
82
# Settings for a VMware virtual machine
83
# -----------------------------------------------
84
85
# Uncomment and edit this line if you want to override the settings
86
# in the 'jnode-x86-*.vmx' file.  For example, you may want to include
87
# settings to configure a VMware virtual hard drive, or real hard drive.
88
# Refer to the maintainers pages on the JNode website for details.
89
# Notes:
90
# - Settings in the override file should be in standard VMX syntax.
91
# - The settings override the default settings, including (if you
92
#   set them) the memSize and/or logFile parameters set in the
93
#   ant build.xml files.
94
# - Any non-absolute pathnames in the VMX settings are resolved relative
95
#   to the VMX file's location!
96
97
#vmware.vmx.overrides=<some-file-containing-vmx-settings>
98
99
# -----------------------------------------------
100
# Custom system properties 
101
# -----------------------------------------------
102
103
jnode.java.home=/jnode
104
jnode.java.io.tmpdir=/jnode/tmp
105
jnode.user.home=/jnode/home
106
107
# -----------------------------------------------
108
# Enable or disable security under JNode
109
# -----------------------------------------------
110
111
#jnode.security.enabled=true
112
113
# -----------------------------------------------
114
# Custom build tools
115
# -----------------------------------------------
116
# jnode.enable.mkisofs=true
117
118
# -----------------------------------------------
119
# If enabled, the build system will not try to
120
# download the classlib binaries from the net.
121
# Instead the quickdeploy ANT target should be run
122
# in classlib6 to get the binaries.
123
# -----------------------------------------------
124
#jnode.local.classlib=true