Patch title: Release 93 bulk changes
Abstract:
File: /fullpliant/embedded/boot.pli
Key:
    Removed line
    Added line
   
module "/pliant/language/stream.pli"
module "/pliant/language/unsafe.pli"
module "/pliant/language/context.pli"
module "/pliant/fullpliant/this_computer.pli"
module "/pliant/admin/file.pli"
module "/pliant/linux/kernel/module.pli"
module "/pliant/linux/storage/filesystem.pli"
module "/pliant/linux/schedule/process.pli"
module "/pliant/language/stream/filesystembase.pli"
module "/pliant/language/stream/multi.pli"
module "/pliant/linux/kernel/device.pli"
module "command.pli"


  # start X11 server
  var Str x11 := c:env:"hardware":"video":"x11"
  var Str xserver := c:env:"hardware":"video":"xfree86_serve
  var Str xfree3_exe := "XF86_"+upper:(xserver 0 1)+(xserver
  var Str xdriver := c:env:"hardware":"video":"xfree86_drive
  var Str model := c:env:"hardware":"video":"model"
  kernel_make_device "embedded:/dev/fb0"
  if xdriver="i810"
    kernel_make_device "embedded:/dev/agpgart"
    if model="i810"
      kernel_load_module "intel_agp"
      kernel_load_module "i810"
    eif model="i865"
      kernel_load_module "intel_agp"
      kernel_load_module "i830"
    else
      kernel_load_module "agpgart"
  if x11="none"
    void
  eif x11="vnc"
    if false
      file_tree_create "embedded:/home/me/.vnc/"
      module "/pliant/protocol/vnc/password.pli"
      vnc_set_password "ji56au" "embedded:/home/me/.vnc/pass
      file_tree_rights "embedded:/home/me/.vnc/" 4096 100 0 
      file_rights "embedded:/home/me/.vnc/passwd" undefined 
    if not (c:env:"hardware":"screen":"horizontal_resolution
      rx := 1024
    if not (c:env:"hardware":"screen":"vertical_resolution" 
      ry := 768
    embedded_command "Xrealvnc :0 -localhost -rfbport 5900 -
  eif xserver<>"" and (file_query "embedded:/usr/X11R6/bin/"
    # XFree 3
    kernel_make_device (replace c:env:"hardware":"mouse":"li
    for (var Int i) 0 15
      kernel_make_device "embedded:/dev/tty"+string:i
    embedded_command xfree3_exe "detached" # SECURITY
  eif xdriver<>"" and (file_query "embedded:/usr/X11R6/bin/X
    # XFree 4
    kernel_make_device (replace c:env:"hardware":"mouse":"li
    for (var Int i) 0 15
      kernel_make_device "embedded:/dev/vcs"+string:i
      kernel_make_device "embedded:/dev/tty"+string:i
    kernel_make_device "embedded:/dev/mem"
    if (file_query "embedded:/usr/X11R6/bin/855patch" standa
      embedded_command "855patch 8192" ""
    embedded_command "XFree86" "detached" # SECURITY
  else
    return
  if x11<>"none"
    wait_for_tcp_port "127.0.0.1" 6000 120
    embedded_command "xhost +local:" "" # SECURITY
  # start windows manager
  if x11<>"none"
    embedded_command c:env:"debian":"x11":"windows_manager" 
module "/pliant/language/stream.pli"
module "/pliant/language/unsafe.pli"
module "/pliant/language/context.pli"
module "/pliant/fullpliant/this_computer.pli"
module "/pliant/admin/file.pli"
module "/pliant/linux/kernel/module.pli"
module "/pliant/linux/storage/filesystem.pli"
module "/pliant/linux/schedule/process.pli"
module "/pliant/language/stream/filesystembase.pli"
module "/pliant/language/stream/multi.pli"
module "/pliant/linux/kernel/device.pli"
module "command.pli"


  # start X11 server
  var Str x11 := c:env:"hardware":"video":"x11"
  var Str xserver := c:env:"hardware":"video":"xfree86_serve
  var Str xfree3_exe := "XF86_"+upper:(xserver 0 1)+(xserver
  var Str xdriver := c:env:"hardware":"video":"xfree86_drive
  var Str model := c:env:"hardware":"video":"model"
  kernel_make_device "embedded:/dev/fb0"
  if xdriver="i810"
    kernel_make_device "embedded:/dev/agpgart"
    if model="i810"
      kernel_load_module "intel_agp"
      kernel_load_module "i810"
    eif model="i865"
      kernel_load_module "intel_agp"
      kernel_load_module "i830"
    else
      kernel_load_module "agpgart"
  if x11="none"
    void
  eif x11="vnc"
    if false
      file_tree_create "embedded:/home/me/.vnc/"
      module "/pliant/protocol/vnc/password.pli"
      vnc_set_password "ji56au" "embedded:/home/me/.vnc/pass
      file_tree_rights "embedded:/home/me/.vnc/" 4096 100 0 
      file_rights "embedded:/home/me/.vnc/passwd" undefined 
    if not (c:env:"hardware":"screen":"horizontal_resolution
      rx := 1024
    if not (c:env:"hardware":"screen":"vertical_resolution" 
      ry := 768
    embedded_command "Xrealvnc :0 -localhost -rfbport 5900 -
  eif xserver<>"" and (file_query "embedded:/usr/X11R6/bin/"
    # XFree 3
    kernel_make_device (replace c:env:"hardware":"mouse":"li
    for (var Int i) 0 15
      kernel_make_device "embedded:/dev/tty"+string:i
    embedded_command xfree3_exe "detached" # SECURITY
  eif xdriver<>"" and (file_query "embedded:/usr/X11R6/bin/X
    # XFree 4
    kernel_make_device (replace c:env:"hardware":"mouse":"li
    for (var Int i) 0 15
      kernel_make_device "embedded:/dev/vcs"+string:i
      kernel_make_device "embedded:/dev/tty"+string:i
    kernel_make_device "embedded:/dev/mem"
    if (file_query "embedded:/usr/X11R6/bin/855patch" standa
      embedded_command "855patch 8192" ""
    embedded_command "XFree86" "detached" # SECURITY
  else
    return
  if x11<>"none"
    wait_for_tcp_port "127.0.0.1" 6000 120
    embedded_command "xhost +local:" "" # SECURITY
  # start windows manager
  if x11<>"none"
    embedded_command c:env:"debian":"x11":"windows_manager" 
  if x11<>"none" and (file_query "embedded:/usr/lib/openoffice/program/swriter" standard)=defined
    embedded_command "gnome-settings-daemon" "user [dq]me[dq] detached" # required to get decent OpenOffice fonts :-(
    sleep 5
  if c:env:"pliant":"identity":"language"="fr" and x11<>"vnc
  if c:env:"pliant":"identity":"language"="fr" and x11<>"vnc
    console "Adjust french keyboard mapping" eol
    embedded_command "xmodmap -e 'keycode 24 = a A acircumfl
    embedded_command "xmodmap -e 'keycode 26 = e E ecircumfl
    embedded_command "xmodmap -e 'keycode 31 = i I icircumfl
    embedded_command "xmodmap -e 'keycode 32 = o O ocircumfl
    embedded_command "xmodmap -e 'keycode 30 = u U ucircumfl
    embedded_command "xmodmap -e 'keycode 34 = Mode_switch'"
    embedded_command "xmodmap -e 'keycode 94 = less greater'
    embedded_command "xmodmap -e 'keycode 24 = a A acircumfl
    embedded_command "xmodmap -e 'keycode 26 = e E ecircumfl
    embedded_command "xmodmap -e 'keycode 31 = i I icircumfl
    embedded_command "xmodmap -e 'keycode 32 = o O ocircumfl
    embedded_command "xmodmap -e 'keycode 30 = u U ucircumfl
    embedded_command "xmodmap -e 'keycode 34 = Mode_switch'"
    embedded_command "xmodmap -e 'keycode 94 = less greater'
  if x11<>"none" and (file_query "embedded:/usr/lib/openoffi
    embedded_command "gnome-settings-daemon" "user [dq]me[dq
  if x11<>"none" and (c:env:"hardware":"mouse":"resolution" 
    embedded_command "xset m "+c:env:"hardware":"mouse":"res


  if x11<>"none" and (c:env:"hardware":"mouse":"resolution" 
    embedded_command "xset m "+c:env:"hardware":"mouse":"res