Fiasco-IA32
-----------

Total available: 1GB (0xc0000000-0xffffffff)

 512MB  TCBs
  60MB  mapped physical pages used as kernel memory
 160MB  slabs
  16MB  IPC windows
   4MB  kernel image (code, data, bss)
   4MB  kernel data (GDT, TSS, ...)
   4MB  IO bitmap
 192MB  SMAS area (where small spaces reside in)
   4MB  service area (jdb, local APIC, ...)
  20MB  symbols/lines for jdb
   4MB  space index
   4MB  chief index
   4MB  LDT addr
   4MB  LDT size
   4MB  SMAS version
   4MB  SMAS area
   4MB  SMAS IO bitmap backup
------------------------------------------------------------
1004MB  total
