# This file contain custom JNode properties used in the JNode build process.
#
# Copy this file to jnode.properties and edit that file as needed.
#

# -----------------------------------------------
# Settings for initjar building

# Set this directory to the directory containing custom plugin lists 
# if you have custom initjars to build.
# custom.plugin-list.dir = ${root.dir}/local/plugin-lists/

# Uncomment this property if you do not want the default initjars to be build.
# no.default.initjars = 1

# Set this property to the directory containing user applications for the 
# jar packager (tool to easily create a jnode plugin from a regular jar file)
# user.applications.dir = ${root.dir}/local/applications/

# -----------------------------------------------
# Settings for the bootdisk image

# Uncomment this property if you do not want bootdisk image to be build.
# no.bootdisk = 1

# -----------------------------------------------
# Settings for the netboot build

# Uncomment this property if you do not want netboot directory to be build.
# no.netboot = 1

# -----------------------------------------------
# Settings for the memory manager

# Default memory manager (selected when no other memory manager is selected)
# jnode.memmgr.plugin.id=org.jnode.vm.memmgr.def

# Uncomment to enable MMTk NoGC based memory manager (still very beta)
# jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.nogc

# Uncomment to enable MMTk GenRC based memory manager (still very alpha)
# jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.genrc

# -----------------------------------------------
# Settings for the document-plugins task

# Uncomment this if you want the document-plugins task to include a tree page.
# You must have dot installed for this, see http://www.graphviz.org/
# jnode.plugin.doc.tree = true

# -----------------------------------------------
# Settings for use of NT bootloader (NT/Me/XP)

# Changes these values to match the disk/partition where windows is installed.
# the value is of the form (hdx,y) where :
# - x is the disk number (starting from 0)
# - y is the partition number (starting from 0)
partition-nt=(hd0,1)

# Path to install jnode. The drive must be where is installed windows
jnode.install-nt.dir=C:\jnode

# -----------------------------------------------
# Settings for the compiler

# Uncomment this if you want use custom compiler arguments
#compilerarg=-Xlint:unchecked

# -----------------------------------------------
# Set up the host and port where the JNode debugger server is available.
# This is needed by the hotswap ant target.
jnode.debugger.host=
jnode.debugger.port=6789

# -----------------------------------------------
# Settings for a VMware virtual machine
# -----------------------------------------------

# Uncomment and edit this line if you want to override the settings
# in the 'jnode-x86-*.vmx' file.  For example, you may want to include
# settings to configure a VMware virtual hard drive, or real hard drive.
# Refer to the maintainers pages on the JNode website for details.
# Notes:
# - Settings in the override file should be in standard VMX syntax.
# - The settings override the default settings, including (if you
#   set them) the memSize and/or logFile parameters set in the
#   ant build.xml files.
# - Any non-absolute pathnames in the VMX settings are resolved relative
#   to the VMX file's location!

#vmware.vmx.overrides=<some-file-containing-vmx-settings>

# -----------------------------------------------
# Custom system properties 
# -----------------------------------------------

jnode.java.home=/jnode
jnode.java.io.tmpdir=/jnode/tmp
jnode.user.home=/jnode/home

# -----------------------------------------------
# Enable or disable security under JNode
# -----------------------------------------------

#jnode.security.enabled=true

# -----------------------------------------------
# Custom build tools
# -----------------------------------------------
# jnode.enable.mkisofs=true

# -----------------------------------------------
# Set these properties for uploading classlib binaries
# -----------------------------------------------
# main.jnode.dir=${root.dir}/../jnode
# ftp.server=
# ftp.user=
# ftp.password=
# ftp.passive=
# ftp.dir=
# download.url=