If there is anybody who has some spare time or want to take a look at some of these bugs, please do - and CC me so that I know somebody is looking at it. #1. Compiling 2.6.39 with CONFIG_MAXSMP and running as PV guest causes bootup crash (64-bit, hadn''t tried 32bit). (early) [ 0.000000] Initializing cgroup subsys cpuset (early) [ 0.000000] Initializing cgroup subsys cpu (early) [ 0.000000] Linux version 2.6.39-05193-gd762f43 (konrad@phenom) (gcc version 4.4.4 20100503 (Red Hat 4.4.4-2) (GCC) ) #1 SMP Tue May 24 12:10:24 EDT 2011 (early) [ 0.000000] Command line: console=hvc0 debug earlyprintk=xenboot iommu=soft (early) [ 0.000000] ACPI in unprivileged domain disabled (early) [ 0.000000] released 0 pages of unused memory (early) [ 0.000000] 1-1 mapping on bffb0->100000 (early) [ 0.000000] Set 262224 page(s) to 1-1 mapping. (early) [ 0.000000] BIOS-provided physical RAM map: (early) [ 0.000000] Xen: 0000000000000000 - 00000000000a0000 (usable) (early) [ 0.000000] Xen: 00000000000a0000 - 0000000000100000 (reserved) (early) [ 0.000000] Xen: 0000000000100000 - 0000000080000000 (usable) (early) [ 0.000000] Xen: 0000000080000000 - 00000000bffb0000 (unusable) (early) [ 0.000000] Xen: 00000000bffb0000 - 00000000bffbe000 (ACPI data) (early) [ 0.000000] Xen: 00000000bffbe000 - 00000000bffe0000 (ACPI NVS) (early) [ 0.000000] Xen: 00000000bffe0000 - 00000000c0000000 (reserved) (early) [ 0.000000] Xen: 00000000fec00000 - 00000000fec01000 (reserved) (early) [ 0.000000] Xen: 00000000fee00000 - 00000000fee01000 (reserved) (early) [ 0.000000] Xen: 00000000fff00000 - 0000000100000000 (reserved) (early) [ 0.000000] Xen: 0000000100000000 - 0000000100800000 (usable) (early) [ 0.000000] bootconsole [xenboot0] enabled (early) [ 0.000000] NX (Execute Disable) protection: active (early) [ 0.000000] DMI not present or invalid. (early) [ 0.000000] e820 update range: 0000000000000000 - 0000000000010000 (early) (usable)(early) ==> (early) (reserved)(early) (early) [ 0.000000] e820 remove range: 00000000000a0000 - 0000000000100000 (early) (usable)(early) (early) [ 0.000000] No AGP bridge found (early) [ 0.000000] last_pfn = 0x100800 max_arch_pfn = 0x400000000 (early) [ 0.000000] last_pfn = 0x80000 max_arch_pfn = 0x400000000 (early) [ 0.000000] initial memory mapped : 0 - 10892000 (early) [ 0.000000] Base memory trampoline at [ffff88000009b000] 9b000 size 20480 (early) [ 0.000000] init_memory_mapping: 0000000000000000-0000000080000000 (early) [ 0.000000] 0000000000 - 0080000000 page 4k (early) [ 0.000000] kernel direct mapping tables up to 80000000 @ 7fbfd000-80000000 (early) [ 0.000000] xen: setting RW the range 7ff72000 - 80000000 (early) [ 0.000000] init_memory_mapping: 0000000100000000-0000000100800000 (early) [ 0.000000] 0100000000 - 0100800000 page 4k (early) [ 0.000000] kernel direct mapping tables up to 100800000 @ 7f3f3000-7fbfd000 (early) [ 0.000000] xen: setting RW the range 7f3f8000 - 7fbfd000 (early) [ 0.000000] RAMDISK: 01dbb000 - 10892000 (early) [ 0.000000] No NUMA configuration found (early) [ 0.000000] Faking a node at 0000000000000000-0000000100800000 (early) [ 0.000000] Initmem setup node 0 0000000000000000-0000000100800000 (early) [ 0.000000] NODE_DATA [000000007ffd9000 - 000000007fffffff] (early) [ 0.000000] Zone PFN ranges: (early) [ 0.000000] DMA (early) 0x00000010 -> 0x00001000 (early) [ 0.000000] DMA32 (early) 0x00001000 -> 0x00100000 (early) [ 0.000000] Normal (early) 0x00100000 -> 0x00100800 (early) [ 0.000000] Movable zone start PFN for each node (early) [ 0.000000] early_node_map[3] active PFN ranges (early) [ 0.000000] 0: 0x00000010 -> 0x000000a0 (early) [ 0.000000] 0: 0x00000100 -> 0x00080000 (early) [ 0.000000] 0: 0x00100000 -> 0x00100800 (early) [ 0.000000] On node 0 totalpages: 526224 (early) [ 0.000000] DMA zone: 56 pages used for memmap (early) [ 0.000000] DMA zone: 5 pages reserved (early) [ 0.000000] DMA zone: 3923 pages, LIFO batch:0 (early) [ 0.000000] DMA32 zone: 14280 pages used for memmap (early) [ 0.000000] DMA32 zone: 505912 pages, LIFO batch:31 (early) [ 0.000000] Normal zone: 28 pages used for memmap (early) [ 0.000000] Normal zone: 2020 pages, LIFO batch:0 (early) [ 0.000000] SMP: Allowing 1 CPUs, 0 hotplug CPUs (early) [ 0.000000] No local APIC present (early) [ 0.000000] APIC: disable apic facility (early) [ 0.000000] APIC: switched to apic NOOP (early) [ 0.000000] nr_irqs_gsi: 16 (early) [ 0.000000] PM: Registered nosave memory: 00000000000a0000 - 0000000000100000 (early) [ 0.000000] PM: Registered nosave memory: 0000000080000000 - 00000000bffb0000 (early) [ 0.000000] PM: Registered nosave memory: 00000000bffb0000 - 00000000bffbe000 (early) [ 0.000000] PM: Registered nosave memory: 00000000bffbe000 - 00000000bffe0000 (early) [ 0.000000] PM: Registered nosave memory: 00000000bffe0000 - 00000000c0000000 (early) [ 0.000000] PM: Registered nosave memory: 00000000c0000000 - 00000000fec00000 (early) [ 0.000000] PM: Registered nosave memory: 00000000fec00000 - 00000000fec01000 (early) [ 0.000000] PM: Registered nosave memory: 00000000fec01000 - 00000000fee00000 (early) [ 0.000000] PM: Registered nosave memory: 00000000fee00000 - 00000000fee01000 (early) [ 0.000000] PM: Registered nosave memory: 00000000fee01000 - 00000000fff00000 (early) [ 0.000000] PM: Registered nosave memory: 00000000fff00000 - 0000000100000000 (early) [ 0.000000] Allocating PCI resources starting at c0000000 (gap: c0000000:3ec00000) (early) [ 0.000000] Booting paravirtualized kernel on Xen (early) [ 0.000000] Xen version: 4.2-unstable (preserve-AD) (early) [ 0.000000] setup_percpu: NR_CPUS:4096 nr_cpumask_bits:1 nr_cpu_ids:1 nr_node_ids:1 (early) [ 0.000000] PERCPU: Embedded 28 pages/cpu @ffff88007ff8d000 s83200 r8192 d23296 u114688 (early) [ 0.000000] pcpu-alloc: s83200 r8192 d23296 u114688 alloc=28*4096(early) (early) [ 0.000000] pcpu-alloc: (early) [0] (early) 0 (early) (early) [ 0.000000] Built 1 zonelists in Node order, mobility grouping on. Total pages: 511855 (early) [ 0.000000] Policy zone: Normal (early) [ 0.000000] Kernel command line: console=hvc0 debug earlyprintk=xenboot iommu=soft (early) [ 0.000000] PID hash table entries: 4096 (order: 3, 32768 bytes) (early) [ 0.000000] Placing 64MB software IO TLB between ffff880079000000 - ffff88007d000000 (early) [ 0.000000] software IO TLB at phys 0x79000000 - 0x7d000000 (early) [ 0.000000] Memory: 1738160k/4202496k available (5680k kernel code, 2097600k absent, 366736k reserved, 3214k data, 2224k init) (early) [ 0.000000] SLUB: Genslabs=15, HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1 (early) [ 0.000000] Hierarchical RCU implementation. (early) [ 0.000000] NR_IRQS:262400 nr_irqs:256 16 (early) [ 0.000000] Console: colour dummy device 80x25 (early) [ 0.000000] console [tty0] enabled [ 0.000000] console [hvc0] enabled, bootconsole disabled (early) [ 0.000000] console [hvc0] enabled, bootconsole disabled [ 0.000000] Xen: using vcpuop timer interface [ 0.000000] installing Xen timer for CPU 0 [ 0.000000] Detected 3000.236 MHz processor. [ 0.000999] Calibrating delay loop (skipped), value calculated using timer frequency.. 6000.47 BogoMIPS (lpj=3000236) [ 0.000999] pid_max: default: 32768 minimum: 301 [ 0.000999] Security Framework initialized [ 0.000999] SELinux: Initializing. [ 0.000999] SELinux: Starting in permissive mode [ 0.000999] Dentry cache hash table entries: 262144 (order: 9, 2097152 bytes) [ 0.001303] Inode-cache hash table entries: 131072 (order: 8, 1048576 bytes) [ 0.001547] Mount-cache hash table entries: 256 [ 0.001720] Initializing cgroup subsys ns [ 0.001731] ns_cgroup deprecated: consider using the ''clone_children'' flag without the ns_cgroup. [ 0.001738] Initializing cgroup subsys cpuacct [ 0.001745] Initializing cgroup subsys freezer [ 0.001787] tseg: 0000000000 [ 0.001798] CPU: Physical Processor ID: 0 [ 0.001809] CPU: Processor Core ID: 3 [ 0.001862] SMP alternatives: switching to UP code [ 0.003019] Freeing SMP alternatives: 20k freed [ 0.003115] cpu 0 spinlock event irq 17 [ 0.003129] BUG: unable to handle kernel NULL pointer dereference at (null) [ 0.003138] IP: [<ffffffff81579368>] set_cpu_sibling_map+0x123/0x30d [ 0.003150] PGD 0 [ 0.003154] Oops: 0002 [#1] SMP [ 0.003161] CPU 0 [ 0.003163] Modules linked in: [ 0.003169] [ 0.003173] Pid: 1, comm: swapper Not tainted 2.6.39-05193-gd762f43 #1 [ 0.003181] RIP: e030:[<ffffffff81579368>] [<ffffffff81579368>] set_cpu_sibling_map+0x123/0x30d [ 0.003190] RSP: e02b:ffff88007f75fe10 EFLAGS: 00010246 [ 0.003195] RAX: 0000000000000000 RBX: 0000000000013780 RCX: 0000000000000000 [ 0.003201] RDX: ffff88007ff8d000 RSI: ffffffff8189a540 RDI: 0000000000000000 [ 0.003206] RBP: ffff88007f75fe60 R08: 0000000000000000 R09: 0720072007200720 [ 0.003212] R10: 0720072007200720 R11: 0720072007200720 R12: 0000000000000000 [ 0.003217] R13: ffff88007ffa0780 R14: 0000000000000000 R15: 0000000000000000 [ 0.003225] FS: 0000000000000000(0000) GS:ffff88007ff8d000(0000) knlGS:0000000000000000 [ 0.003231] CS: e033 DS: 0000 ES: 0000 CR0: 000000008005003b [ 0.003236] CR2: 0000000000000000 CR3: 0000000001803000 CR4: 0000000000000660 [ 0.003243] DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000 [ 0.003248] DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400 [ 0.003254] Process swapper (pid: 1, threadinfo ffff88007f75e000, task ffff88007f760000) [ 0.003259] Stack: [ 0.003262] 0000000000000011 0000000000000000 0000000000000011 0000000000000000 [ 0.003273] ffff88007f402a00 ffffffff81abd080 0000000000001000 0000000000000000 [ 0.003283] 0000000000000000 0000000000000000 ffff88007f75fe90 ffffffff818cb51e [ 0.003294] Call Trace: [ 0.003301] [<ffffffff818cb51e>] xen_smp_prepare_cpus+0x3d/0x13c [ 0.003307] [<ffffffff818c676b>] kernel_init+0x1c9/0x2bb [ 0.003314] [<ffffffff81589124>] kernel_thread_helper+0x4/0x10 [ 0.003321] [<ffffffff81588233>] ? int_ret_from_sys_call+0x7/0x1b [ 0.003328] [<ffffffff81580ae1>] ? retint_restore_args+0x5/0x6 [ 0.003334] [<ffffffff81589120>] ? gs_change+0x13/0x13 [ 0.003339] Code: 48 63 d2 e8 6b 5c d2 ff 3b 05 1d db 32 00 89 c2 0f 8c 58 ff ff ff eb 17 48 8b 14 cd a0 b3 89 81 48 c7 c0 78 dd 00 00 48 8b 04 10 <3e> 0f ab 38 49 63 cc 48 c7 c0 88 dd 00 00 48 8b 14 cd a0 b3 89 [ 0.003431] RIP [<ffffffff81579368>] set_cpu_sibling_map+0x123/0x30d [ 0.003438] RSP <ffff88007f75fe10> [ 0.003442] CR2: 0000000000000000 [ 0.003452] ---[ end trace 4eaa2a86a8e2da22 ]--- [ 0.003463] swapper used greatest stack depth: 5080 bytes left [ 0.003471] Kernel panic - not syncing: Attempted to kill init! [ 0.003476] Pid: 1, comm: swapper Tainted: G D 2.6.39-05193-gd762f43 #1 [ 0.003482] Call Trace: [ 0.003487] [<ffffffff8157d9b9>] panic+0x8c/0x199 [ 0.003494] [<ffffffff8108bf8d>] do_exit+0x92d/0x930 [ 0.003500] [<ffffffff81580609>] ? _raw_spin_unlock_irqrestore+0x19/0x20 [ 0.003507] [<ffffffff81087fa5>] ? kmsg_dump+0x45/0xf0 [ 0.003513] [<ffffffff815819db>] oops_end+0xab/0xf0 [ 0.003520] [<ffffffff8106c1a3>] no_context+0xf3/0x260 [ 0.003526] [<ffffffff8134e35a>] ? domU_write_console+0x10a/0x220 [ 0.003532] [<ffffffff8106c435>] __bad_area_nosemaphore+0x125/0x1e0 [ 0.003539] [<ffffffff8106c4fe>] bad_area_nosemaphore+0xe/0x10 [ 0.003546] [<ffffffff81583f78>] do_page_fault+0x318/0x460 [ 0.003566] [<ffffffff81039b02>] ? check_events+0x12/0x20 [ 0.003571] [<ffffffff810393cd>] ? xen_force_evtchn_callback+0xd/0x10 [ 0.003577] [<ffffffff81039b02>] ? check_events+0x12/0x20 [ 0.003582] [<ffffffff810393cd>] ? xen_force_evtchn_callback+0xd/0x10 [ 0.003588] [<ffffffff81039b02>] ? check_events+0x12/0x20 [ 0.003593] [<ffffffff81580d55>] page_fault+0x25/0x30 [ 0.003598] [<ffffffff81579368>] ? set_cpu_sibling_map+0x123/0x30d [ 0.003604] [<ffffffff818cb51e>] xen_smp_prepare_cpus+0x3d/0x13c [ 0.003609] [<ffffffff818c676b>] kernel_init+0x1c9/0x2bb [ 0.003615] [<ffffffff81589124>] kernel_thread_helper+0x4/0x10 [ 0.003620] [<ffffffff81588233>] ? int_ret_from_sys_call+0x7/0x1b [ 0.003626] [<ffffffff81580ae1>] ? retint_restore_args+0x5/0x6 [ 0.003631] [<ffffffff81589120>] ? gs_change+0x13/0x13 Parsing config file pv.xm Daemon running with PID 11644 cat pv.xm kernel="/home/konrad/ssd/xtt-i386/dist/common/vmlinuz" ramdisk="/home/konrad/ssd/xtt-i386/dist/common/initramfs.cpio.gz" extra="console=hvc0 debug earlyprintk=xenboot iommu=soft" memory=2048 vcpus=1 name="latest" on_crash="preserve" vif = [ ''mac=00:0F:4B:00:00:68, bridge=switch'' ] pci = ["02:00.0"] vfb = [ ''vnc=1, vnclisten=0.0.0.0,vncunused=1''] disk = [ ''phy:/dev/vg_guest_1/data-xfs,xvda,w'', ''phy:/dev/vg_guest_1/data-ext4,xvdb,w'',''phy:/dev/vg_guest_1/data-ext3,xvdc,w'', ''phy: /dev/vg_guest_1/data-swap,xvdd,w''] #2: Booting 2.6.39 as Dom0 with Xen hypervisor clamping memory to dom0 does not work. If you boot with ''dom0_mem=max:2G'' the expectation is that the Dom0 would only setup pagetables for up to 2G, nothing past it. However that is not the case and on machines with large amount of memory (32GB), dom0 ends up allocating the page-table up to 32GB even thought it will never balloon up to that. For example, this 32GB box: (XEN) Xen version 4.2-110524 (konrad@dumpdata.com) (gcc version 4.4.4 20100503 (Red Hat 4.4.4-2) (GCC) ) Tue May 24 11:48:03 EDT 2011 (XEN) Latest ChangeSet: Tue May 24 11:32:17 2011 -0400 23378:fee83662893a (XEN) Console output is synchronous. (XEN) Bootloader: unknown (XEN) Command line: com1=115200,8n1 conswitch=b sync_console cpuidle=xen dom0_mem=max:2G mce_verbosity=verbose console=com1,vga loglvl=all guest_loglvl=all (XEN) Video information: (XEN) VGA is text mode 80x25, font 8x16 (XEN) VBE/DDC methods: V2; EDID transfer time: 1 seconds (XEN) Disc information: (XEN) Found 0 MBR signatures (XEN) Found 1 EDD information structures (XEN) Xen-e820 RAM map: (XEN) 0000000000000000 - 000000000009bc00 (usable) (XEN) 000000000009bc00 - 00000000000a0000 (reserved) (XEN) 00000000000e0000 - 0000000000100000 (reserved) (XEN) 0000000000100000 - 00000000ab70a000 (usable) (XEN) 00000000ab70a000 - 00000000ab8c7000 (ACPI NVS) (XEN) 00000000ab8c7000 - 00000000bea5b000 (usable) (XEN) 00000000bea5b000 - 00000000beac7000 (ACPI data) (XEN) 00000000beac7000 - 00000000bead2000 (reserved) (XEN) 00000000bead2000 - 00000000beadd000 (usable) (XEN) 00000000beadd000 - 00000000beaee000 (reserved) (XEN) 00000000beaee000 - 00000000bed2e000 (usable) (XEN) 00000000bed2e000 - 00000000bede7000 (reserved) (XEN) 00000000bede7000 - 00000000bee2f000 (ACPI NVS) (XEN) 00000000bee2f000 - 00000000bee30000 (ACPI data) (XEN) 00000000bee30000 - 00000000bee9c000 (ACPI NVS) (XEN) 00000000bee9c000 - 00000000bee9d000 (ACPI data) (XEN) 00000000bee9d000 - 00000000bee9e000 (ACPI NVS) (XEN) 00000000bee9e000 - 00000000beeb9000 (ACPI data) (XEN) 00000000beeb9000 - 00000000befc1000 (ACPI NVS) (XEN) 00000000befc1000 - 00000000bf000000 (usable) (XEN) 00000000bf000000 - 00000000d0000000 (reserved) (XEN) 00000000fec00000 - 00000000fec01000 (reserved) (XEN) 00000000fed19000 - 00000000fed1a000 (reserved) (XEN) 00000000fed1c000 - 00000000fed20000 (reserved) (XEN) 00000000fee00000 - 00000000fee01000 (reserved) (XEN) 00000000ffa20000 - 0000000100000000 (reserved) (XEN) 0000000100000000 - 0000000840000000 (usable) (XEN) ACPI: RSDP 000F0410, 0024 (r2 INTEL) .. snip.. (XEN) System RAM: 32746MB (33532684kB) .. some time later .. dom0: (XEN) Xen is relinquishing VGA console. (XEN) *** Serial input -> DOM0 (type ''CTRL-b'' three times to switch input to Xen) (XEN) Freed 236kB init memory. mapping kernel into physical memory Xen: setup ISA identity maps about to get started... [ 0.000000] Initializing cgroup subsys cpuset [ 0.000000] Initializing cgroup subsys cpu [ 0.000000] Linux version 2.=10 initcall_debug earlyprintk=xenboot drm.debug=255 earlyprintk=xenboot no_console_suspend nofb [ 0.000000] released 0 pages of unused memory [ 0.000000] 1-1 mapping on 9c->100 [ 0.000000] 1-1 mapping on ab70a->ab8c7 [ 0.000000] 1-1 mapping on bea5b->bead2 [ 0.000000] 1-1 mapping on beadd->beaee [ 0.000000] 1-1 mapping on bed2e->befc1 [ 0.000000] 1-1 mapping on bf000->100000 [ 0.000000] Set 267580 page(s) to 1-1 mapping. [ 0.000000] BIOS-provided physical RAM map: [ 0.000000] Xen: 0000000000000000 - 000000000009b000 (usable) [ 0.000000] Xen: 000000000009bc00 - 0000000000100000 (reserved) [ 0.000000] Xen: 0000000000100000 - 0000000080000000 (usable) [ 0.000000] Xen: 0000000080000000 - 00000000ab70a000 (unusable) [ 0.000000] Xen: 00000000ab70a000 - 00000000ab8c7000 (ACPI NVS) [ 0.000000] Xen: 00000000ab8c7000 - 00000000bea5b000 (unusable) [ 0.000000] Xen: 00000000bea5b000 - 00000000beac7000 (ACPI data) [ 0.000000] Xen: 00000000beac7000 - 00000000bead2000 (reserved) [ 0.000000] Xen: 00000000bead2000 - 00000000beadd000 (unusable) [ 0.000000] Xen: 00000000beadd000 - 00000000beaee000 (reserved) [ 0.000000] Xen: 00000000beaee000 - 00000000bed2e000 (unusable) [ 0.000000] Xen: 00000000bed2e000 - 00000000bede7000 (reserved) [ 0.000000] Xen: 00000000bede7000 - 00000000bee2f000 (ACPI NVS) [ 0.000000] Xen: 00000000bee2f000 - 00000000bee30000 (ACPI data) [ 0.000000] Xen: 00000000bee30000 - 00000000bee9c000 (ACPI NVS) [ 0.000000] Xen: 00000000bee9c000 - 00000000bee9d000 (ACPI data) [ 0.000000] Xen: 00000000bee9d000 - 00000000bee9e000 (ACPI NVS) [ 0.000000] Xen: 00000000bee9e000 - 00000000beeb9000 (ACPI data) [ 0.000000] Xen: 00000000beeb9000 - 00000000befc1000 (ACPI NVS) [ 0.000000] Xen: 00000000befc1000 - 00000000bf000000 (unusable) [ 0.000000] Xen: 00000000bf000000 - 00000000d0000000 (reserved) [ 0.000000] Xen: 00000000fec00000 - 00000000fec01000 (reserved) [ 0.000000] Xen: 00000000fec3f000 - 00000000fec40000 (reserved) [ 0.000000] Xen: 00000000fec7f000 - 00000000fec80000 (reserved) [ 0.000000] Xen: 00000000fed19000 - 00000000fed1a000 (reserved) [ 0.000000] Xen: 00000000fed1c000 - 00000000fed20000 (reserved) [ 0.000000] Xen: 00000000fee00000 - 00000000fee01000 (reserved) [ 0.000000] Xen: 00000000ffa20000 - 0000000100000000 (reserved) [ 0.000000] Xen: 0000000100000000 - 0000000580000000 (usable) [ 0.000000] bootconsole [xenboot0] enabled [ 0.000000] NX (Execute Disable) protection: active [ 0.000000] DMI 2.6 present. [ 0.000000] DMI: Intel Corporation S2600CP/S2600CP, BIOS ROMLEYEP.86B.99.99.x020.022420111310 02/24/2011 [ 0.000000] e820 update range: 0000000000000000 - 0000000000010000 (usable) ==> (reserved) [ 0.000000] e820 remove range: 00000000000a0000 - 0000000000100000 (usable) [ 0.000000] No AGP bridge found [ 0.000000] last_pfn = 0x580000 max_arch_pfn = 0x400000000 [ 0.000000] last_pfn = 0x80000 max_arch_pfn = 0x400000000 [ 0.000000] found SMP MP-table at [ffff8800000fcda0] fcda0 [ 0.000000] memblock_x86_reserve_range: [0x000fcda0-0x000fcdaf] * MP-table mpf [ 0.000000] memblock_x86_reserve_range: [0x000fc7d0-0x000fcc7b] * MP-table mpc [ 0.000000] memblock_x86_reserve_range: [0x01a3a000-0x01a562cb] BRK [ 0.000000] MEMBLOCK configuration:00 bytes [ 0.000000] memory[0x2] [0x00000100000000-0x0000057fffffff], 0x480000000 bytes [ 0.000000] reserved.cnt = 0x5 [ 0.000000] reserved[0x0] [0x000000000fc7d0-0x000000000fcc7b], 0x4ac bytes [ 0.000000] reserved[0x1] [0x000000000fcda0-0x000000000fcdaf], 0x10 bytes [ 0.000000] reserved[0x2] [0x00000001000000-0x00000001a562cb], 0xa562cc bytes [ 0.000000] reserved[0x3] [0x00000001b70000-0x00000010ad4fff], 0xef65000 bytes [ 0.000000] reserved[0x4] [0x00000100000000-0x0000057fffffff], 0x480000000 bytes [ 0.000000] initial memory mapped : 0 - 1064b000 [ 0.000000] memblock_x86_reserve_range: [0x00096000-0x0009afff] TRAMPOLINE [ 0.000000] Base memory trampoline at [ffff880000096000] 96000 size 20480 [ 0.000000] init_memory_mapping: 0000000000000000-0000000080000000 [ 0.000000] 0000000000 - 0080000000 page 4k [ 0.000000] kernel direct mapping tables up to 80000000 @ 7fbfd000-80000000 [ 0.000000] memblock_x86_reserve_range: [0x7fbfd000-0x7ff73fff] PGTABLE [ 0.000000] xen: setting RW the range 7ff74000 - 80000000 [ 0.000000] init_memory_mapping: 0000000100000000-0000000580000000 [ 0.000000] 0100000000 - 0580000000 page 4k [ 0.000000] kernel direct mapping tables up to 580000000 @ 7cfe6000-7fbfd000 [ 0.000000] memblock_x86_reserve_range: [0x7cfe6000-0x7f3f7fff] PGTABLE [ 0.000000] xen: setting RW the range 7f3f8000 - 7fbfd000 [ 0.000000] RAMDISK: 01b70000 - 1064b000 .. snip .. Memory: 1439768k/23068672k available (5666k kernel code, 2097620k absent, 19531284k reserved, 3047k data, 736k innObjects=0, CPUs=64, Nodes=1 (so 1.5G out of 23G) The expectation is something more along these lines: Memory: 1683688k/2105344k available (4087k kernel code, 8192k absent, 412804k reserved, 2305k data, 352k initt) (so 1.5G out of 2G) _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel