davide e88bd26b3f Follow up to r225617. In order to maximize the re-usability of kernel code ... in userland rename in-kernel getenv()/setenv() to kern_setenv()/kern_getenv(). This fixes a namespace collision with libc symbols. Submitted by: kmacy Tested by: make universe		2014-10-16 18:04:43 +00:00
..
acpica	don't set CR4 PSE bit on amd64	2014-07-23 15:53:29 +00:00
amd64	Follow up to r225617. In order to maximize the re-usability of kernel code	2014-10-16 18:04:43 +00:00
conf	As per [1] Intel only supports this driver on 64bit platforms.	2014-09-23 08:33:03 +00:00
ia32	x86: Allow users to change PSL_RF via ptrace(PT_SETREGS...)	2013-11-14 15:37:20 +00:00
include	Pass up the error status of minidumpsys() to its callers.	2014-10-08 20:25:21 +00:00
linux32	Re-gen after r271743 implementing most of	2014-09-18 08:40:00 +00:00
pci	Pull in r267961 and r267973 again. Fix for issues reported will follow.	2014-06-28 03:56:17 +00:00
vmm	Follow up to r225617. In order to maximize the re-usability of kernel code	2014-10-16 18:04:43 +00:00
Makefile