3 Commits

Author	SHA1	Message	Date
Reto Buerki	28b5e67a8c	Update or add hw_x86_64 copyright headers	2015-03-27 11:53:32 +01:00
Reto Buerki	e5be376f57	hw_x86_64: Declare Thread_reg_id enum for x86_64 ... Only define IDs of registers which are actually accessed by threads.	2015-03-27 11:53:28 +01:00
Norman Feske	a974726e26	hw: skeleton for building on x86_64 ... This patch contains the initial code needed to build and bootstrap the base-hw kernel on x86 64-bit platforms. It gets stuck earlier because the binary contains 64-bit instructions, but it is started in 32-bit mode. The initial setup of page tables and switch to long mode is still missing from the crt0 code.	2015-03-27 11:53:16 +01:00