age author revision description
2006-02-08 cl349 8787:7bdac903cfdd x86-64 linux: CONFIG_ACPI_BOOT doesn't exist anymore
2006-02-08 cl349 8786:4657e299a1a3 linux: don't export evtchn_do_upcall()
2006-02-08 cl349 8785:a67085a3e65d x86-64 linux: properly exit idle mode from evtchn_do_upcall()
2006-02-08 cl349 8784:1a2e7cd58ca0 x86-64 linux: call evtchn_do_upcall on irq stack and adjust irqcount
2006-02-08 cl349 8783:c9edeb3bd652 Use /dev/kmem to map dom0 xenstore page instead of abusing the foreign mapping interface.
2006-02-08 kaf24 8782:bc2ac5e87f99 Rationalise initialisation of cpu_possible_map.
2006-02-08 kaf24 8781:dcc2beb8a1d2 /sbin/udev no longer exists in upstream udev, so use udevinfo for