royger f6f9cb7a0f xen: fix copyright header ...

Some of the code in xen-locore.S was picked from Cherry G. Mathew
amd64 Xen PV branch, but I've failed to set the proper copyright, so
do it now.

Approved by: gibbs

2014-04-24 14:44:42 +00:00

..

acpica

Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is

2013-02-15 22:43:08 +00:00

amd64

xen: fix copyright header

2014-04-24 14:44:42 +00:00

conf

Really, really, really only allow this option for amd64/i386 builds.

2014-04-09 18:44:54 +00:00

ia32

x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)

2013-11-14 15:37:20 +00:00

include

Update EFI framebuffer handoff from loader

2014-03-27 19:43:38 +00:00

linux32

Update kernel inclusions of capability.h to use capsicum.h instead; some

2014-03-16 10:55:57 +00:00

pci

Fix undefined behavior: (1 << 31) is not defined as 1 is an int and this

2013-11-30 22:17:27 +00:00

vmm

Allow the guest to read the TSC via MSR 0x10.

2014-04-24 00:27:34 +00:00

Makefile

…