--
--	rmox_config.inc -- top-level RMoX configuration file
--

--** RMoX configuration.
-- The configuration for RMoX is held in the file [@code occam/include/rmox_config.inc].
-- This includes various directives on what to include or not include in the
-- build, and particular default settings (e.g. for networking, or device I/O
-- locations).
--
-- Directives are enabled by [@code DEFINE]-ing them, e.g.:
--
-- [@code
--   #DEFINE DRIVER.GEODE
--   #DEFINE DRIVER.GEODEGXFB
-- ]
--
-- Directives can be disabled by not having them set, or by explicitly undefining
-- them, e.g.:
--
-- [@code
--   #UNDEF DRIVER.GD5446FB
-- ]
--
-- Occam-pi portions of RMoX may include this file directly to get access to
-- the kernel configuration, e.g.:
--
-- [@code
--   #INCLUDE "rmox_config.inc"
-- ]
--
-- The contents of this file are also used in determining what to compile at
-- the top-level.  To provide C-style directives to the build system, the
-- top-level file [@code config.occ] emits a series of makefile style settings
-- when compiled (by using occam-pi's [@code #WARNING] pre-processor
-- directive).  If new modules are added to the system, remember to edit them
-- in [@code rmox_config.inc] as well as [@code config.occ] (for conditional
-- compilation).
--
-- @module rmox:config


--{{{  vtty count
VAL INT VTTY.COUNT IS 6:
--}}}

--{{{  raw/user-mode selection
--#DEFINE USE.UM.RMOX
#DEFINE USE.BAREMETAL.RMOX
--}}}

--{{{  baremetal configuration
--#DEFINE BAREMETAL.RECLAIM.SERIAL
--}}}

--{{{  loadable module support
#DEFINE DRIVER.MODULES

--}}}
--{{{  device drivers (any build)
#DEFINE DRIVER.AUDIO
#DEFINE DRIVER.BIOSMEM
#DEFINE DRIVER.BLOCK
#DEFINE DRIVER.DNOTIFY
#DEFINE DRIVER.DUMMY.UPORT
#DEFINE DRIVER.K8055
#DEFINE DRIVER.KEYBOARD
#DEFINE DRIVER.MOUSE
#DEFINE DRIVER.RAMDISK
#DEFINE DRIVER.RCSERVO
#DEFINE DRIVER.SCSI
#DEFINE DRIVER.USB
#DEFINE DRIVER.USB.AUDIO
#DEFINE DRIVER.USB.KEYBOARD
#DEFINE DRIVER.USB.MASS.STORAGE
#DEFINE DRIVER.USB.MOUSE
#DEFINE DRIVER.VIDEO.VGA
#DEFINE DRIVER.VPWM
--}}}
--{{{  device drivers (not user-mode compatible)
#IF NOT (DEFINED (USE.UM.RMOX))
#DEFINE DRIVER.AIM104MIO
#DEFINE DRIVER.AIM104IO32
#DEFINE DRIVER.BIOSMEM
#DEFINE DRIVER.CS5535.AUDIO
#DEFINE DRIVER.DMA
#DEFINE DRIVER.FBCONSOLE
#DEFINE DRIVER.FLOPPY
#DEFINE DRIVER.GEODE
#DEFINE DRIVER.GFXCORE
#DEFINE DRIVER.HARDDISK
#DEFINE DRIVER.MAX63XX
#DEFINE DRIVER.I8042
#DEFINE DRIVER.PC87364
#DEFINE DRIVER.PCI
#DEFINE DRIVER.RCSERVO.SSC32
#DEFINE DRIVER.RTL8139
--#DEFINE DRIVER.STDPARPORT
#DEFINE DRIVER.STDSERIAL
#DEFINE DRIVER.UCB1400
#DEFINE DRIVER.USB.EHCI
#DEFINE DRIVER.USB.OHCI
#DEFINE DRIVER.USB.UHCI
#DEFINE DRIVER.VIDEO
#IF DEFINED (DRIVER.VIDEO)
  #RELAX
  #DEFINE DRIVER.VIDEO.GD5446FB.MODULE
  #DEFINE DRIVER.VIDEO.GEODEGXFB
  #DEFINE DRIVER.VIDEO.VESA
  #UNDEF DRIVER.VIDEO.VGAFB
#ENDIF
#DEFINE DRIVER.X86APIC
#DEFINE DRIVER.X86IOAPIC.MODULE
#DEFINE DRIVER.X86MP
#DEFINE DRIVER.X86PC
#ENDIF
--}}}
--{{{  filesystem drivers
#DEFINE DRIVER.RAMDISK.FS
#DEFINE DRIVER.PROC.FS
#DEFINE DRIVER.DEV.FS
#DEFINE DRIVER.ROM.FS
--}}}
--{{{  services
#DEFINE SERVICE.ELFLOAD
#DEFINE SERVICE.FONTENGINE
#DEFINE SERVICE.MODULE
#DEFINE SERVICE.POSIX
#DEFINE SERVICE.REGIONER
#DEFINE SERVICE.SYMTAB

--}}}
--{{{  general config
#IF DEFINED (DRIVER.STDSERIAL)
  #RELAX
  #DEFINE USE.SERIAL.LOGGING
  -- #DEFINE USE.SERIAL.CONSOLE

  #IF DEFINED (USE.SERIAL.LOGGING)
    #RELAX
    #DEFINE BAREMETAL.RECLAIM.SERIAL
    #DEFINE SERIAL.LOG.DEVICE "serial.0o"
    #DEFINE SERIAL.LOG.SPEED 115200
  #ENDIF

  #IF DEFINED (USE.SERIAL.CONSOLE)
    #RELAX
    #DEFINE SDEV.IN "serial.0i"
    #DEFINE SDEV.OUT "serial.0o"
  #ENDIF
#ENDIF

#IF DEFINED (DRIVER.ROM.FS)
  #RELAX
  -- define this to enable a compiled-in romdisk image
  #DEFINE INIT.ROMDISK

  #IF DEFINED (INIT.ROMDISK)
    #RELAX
    #DEFINE INIT.ROMDISK.MOUNT "/rom"
  #ENDIF
#ENDIF

-- define this to enable debugging
#UNDEF DEBUG.OCCAM
-- define this for basic (STOP/range) debugging
#UNDEF DEBUG.RUNTIME
-- define this to track all line numbers
#DEFINE DEBUG.TRACE

#DEFINE DISABLE.ANIMATIONS

--}}}
--{{{  user-mode RMoX specific stuffs
#IF DEFINED (USE.UM.RMOX)
  #RELAX
  #DEFINE USE.XTEXTWINDOW
  #DEFINE USE.FILEIO
  #DEFINE DRIVER.HOST.FS

  -- disables the built-in demo apps
  --#DEFINE DISABLE.ANIMATIONS

  VAL INT TARGET.FPS IS 40:
  VAL INT SECOND IS 1000000:
  VAL INT FRAME.TIME IS SECOND / TARGET.FPS:
#ENDIF      -- NOT DEFINED (USE.UM.RMOX)
--}}}
--{{{  networking setup
#UNDEF DO.INIT.NETWORK
#IF DEFINED (DO.INIT.NETWORK)
  #RELAX
  #DEFINE NET0.IF "loop0"
  #DEFINE NET0.DEVICE "none"
  #DEFINE NET0.OPTS "addr=127.0.0.1 net=127.0.0.0 mask=255.0.0.0"
  
  --{{{ ethernet hardware
  #IF DEFINED (DRIVER.RTL8139)
    #RELAX
    #DEFINE NET1.IF "eth0"
    #DEFINE NET1.DEVICE "rtl8139.0"
    #DEFINE NET1.OPTS "addr=192.168.12.104 net=192.168.12.0 mask=255.255.255.0"
  #ENDIF
  --}}}
  
  --{{{ user-mode hardware
  #IF DEFINED (USE.UM.RMOX)
    #RELAX
    #IF NOT (DEFINED (USE.FILEIO))
      #RELAX
      #ERROR (user-mode config) USE.FILEIO is not defined
    #ENDIF
    #DEFINE NET1.IF "slip0"
    #DEFINE NET1.DEVICE "fileio./dev/ttyqa"
    #DEFINE NET1.OPTS "addr=10.1.1.2 net=10.0.0.0 mask=255.0.0.0 speed=9600"
    --  #ELSE
    --#RELAX
    --#DEFINE NET1.IF "slip0"
    --#DEFINE NET1.DEVICE "serial.0"
    --#DEFINE NET1.OPTS "addr=192.168.12.150 net=192.168.12.0 mask=255.255.255.0 speed=9600"
  #ENDIF
  --}}}
#ENDIF
--}}}
--{{{  embedded system (PC/104) setup
#IF DEFINED (DRIVER.AIM104MIO)
  #DEFINE AIM104MIO.DRIVER.START
  #DEFINE AIM104MIO.DRIVER.OPTIONS "s#188"
#ENDIF
#IF DEFINED (DRIVER.AIM104IO32)
  #DEFINE AIM104IO32.DRIVER.START
  #DEFINE AIM104IO32.DRIVER.OPTIONS "#180"
#ENDIF

--}}}