[SCM] Debian GNU Mach packaging annotated tag, upstream/1.3.99.git20130311, created. upstream/1.3.99.git20130311

[Samuel Thibault]

The annotated tag, upstream/1.3.99.git20130311 has been created
        at  97b8d54c9f8603fb41613efc0afc0974b75d38db (tag)
   tagging  8c7386d271bae0f8121fe8b015e78c72a6b179f0 (commit)
  replaces  upstream/1.3.99.git20121227
 tagged by  Samuel Thibault
        on  Mon Mar 11 02:51:44 2013 +0000

- Shortlog ------------------------------------------------------------
New upstream snapshot

David Höppner (2):
      Fix compilation warning implicit function declaration kdbprintf
      Add statistics for task_events_info

Richard Braun (3):
      Add function to dump a raw summary of the slab allocator state
      Fix slab cache list locking
      Add the mach_print debugging system call

Samuel Thibault (26):
      Fix slow boot in virtualbox
      Double KENTRY_DATA_SIZE
      Fix task stats incrementations
      Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/gnumach
      Add initial code for disabling PV descriptors
      Add initial code for disabling ring1 xen execution
      Fix build with --disable-pseudo-phys
      Fix comments
      Add initial code for disabling PV pagetables
      More ifdef fixes for ring1 support and pv descriptors support
      Increase VM_MAX_KERNEL_ADDRESS for PVH case
      Drop spurious inclusion
      Do not use 4gb segment assistance in PVH
      Add comment for TODO
      Make the PVH variant get sure that the support is available in the 
hypervisor
      Implement pmap_map_mfn for the PVH case
      Prevent the kernel from making any FPU use
      Add x86 hardware debugging register support
      Document dwatch
      Plug hw debug register support into kdb
      Include machine/db_interface instead of hardcoding function prototypes
      Do not hardcode maximum priority value
      Increase number of priorities
      Merge remote-tracking branch 'upstream/master' into upstream
      Fix build without kdb
      Merge remote-tracking branch 'upstream/master' into upstream

-----------------------------------------------------------------------

-- 
Debian GNU Mach packaging