Adrian-Ken Rueegsegger 21fb356cd4 hw_x86_64_muen: Provide Muen-specific serial ... Subjects on Muen are not allowed to access the BIOS data area. Instead a serial console is emulated on the fixed I/O port 0x3f8.		2015-08-27 13:48:25 +02:00
..
kernel	hw: skeleton for building on x86_64	2015-03-27 11:53:16 +01:00
board.h	hw_x86_64: Do not mask edge-triggered interrupts	2015-03-27 11:53:34 +01:00
cpu_support.h	hw_x86_64: Use PAUSE instruction in wait_for_interrupt	2015-08-21 11:00:59 +02:00
macros.s	hw_x86_64: style fixes	2015-03-27 11:53:34 +01:00
pic.h	hw_x86_64: Only handle masking of I/O APIC IRQs	2015-08-21 11:00:59 +02:00
port_io.h	Update or add hw_x86_64 copyright headers	2015-03-27 11:53:32 +01:00
timer.h	hw_x86_64: style fixes	2015-03-27 11:53:34 +01:00