git.barrelfish.org Git - barrelfish/commit

author	Simon Gerber <simon.gerber@inf.ethz.ch>
	Wed, 29 Oct 2014 13:40:03 +0000 (14:40 +0100)
committer	Simon Gerber <simon.gerber@inf.ethz.ch>
	Wed, 29 Oct 2014 14:03:45 +0000 (15:03 +0100)
commit	115f199496f79bff14002a10608e054a3a52cecd
tree	522bb31eaf89293f7742c6a0bb6a2f8d7d6fde78	tree \| snapshot
parent	8b179e4264f377d321db249b8b355e9222ce4c85	commit \| diff

Moved BIOS mmap cleanup to shared x86 code. Call from both x86_64 and x86_32 startup code.

Barrelfish OS git repo

kernel/arch/x86/startup_x86.c		diff \| blob \| history
kernel/arch/x86_32/startup_arch.c		diff \| blob \| history
kernel/arch/x86_64/page_mappings_arch.c		diff \| blob \| history
kernel/arch/x86_64/startup_arch.c		diff \| blob \| history
kernel/include/arch/x86/startup_x86.h		diff \| blob \| history