3 Commits

Author	SHA1	Message	Date
Stefan Kalkowski	c850462f43	hw: replace kernel's object id allocators ... Instead of having an ID allocator per object class use one global allocator for all. Thereby artificial limitations for the different object types are superfluent. Moreover, replace the base-hw specific id allocator implementation with the generic Bit_allocator, which is also memory saving. Ref #1443	2015-04-17 16:13:20 +02:00
Reto Buerki	5765398741	hw_x86_64: Add x86 platform services to core ... Use the x86-specific platform_services.cc file and register the I/O port session component.	2015-03-27 11:53:32 +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