age author revision description
2009-01-29 Keir Fraser 19113:1dc576b683c6 tboot: single tboot entry point for shutdown
2009-01-29 Keir Fraser 19112:a8c342f352c3 x86: Although bzimage_headroom() doesn't return -ve values,
2009-01-29 Keir Fraser 19111:1bd06ed9369d x86: bzimage_headroom does not return -ve error codes.
2009-01-29 Keir Fraser 19110:3449d8e50fb9 x86: Do not check dom0 kernel header for bzimage magic until we are
2009-01-28 Keir Fraser 19109:0858f961c77a x86: Pickle domain in page_info into 32 bits.
2009-01-28 Keir Fraser 19108:839bece33989 x86: VCPU structure must reside below 4GB, since it contains embedded
2009-01-28 Keir Fraser 19107:696351cde9a4 Allow memflags to be specified to alloc_xenheap_pages().