Tycho Nightingale 79d6ca331e Add support for reading the PIT Counter 2 output signal via the NMI ...

Status and Control register at port 0x61.

Be more conservative about "catching up" callouts that were supposed
to fire in the past by skipping an interrupt if it was
scheduled too far in the past.

Restore the PIT ACPI DSDT entries and add an entry for NMISC too.

Approved by:	neel (co-mentor)

2014-04-18 00:02:06 +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

Clear the kernel grab of the FPU state on fork. The pcb_save pointer

2014-03-29 11:56:33 +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

Add support for reading the PIT Counter 2 output signal via the NMI

2014-04-18 00:02:06 +00:00

Makefile

…