* 'master' of github.com:cloudius-systems/osv:
  gdb: pretty printers for libstdc++
  sched: start the reaper thread
  printf: reduce stack usage