genode/base-foc/src/core/x86
Sebastian Sumpf 38e953d913 Fiasco.OC: Set interrupt mode in IRQ session
Set IRQ 0-15 to edget/high and 16-23 level low (x86 only). Fixes #153
2012-03-16 18:24:00 +01:00
..
platform_x86.cc Fiasco.OC: Set interrupt mode in IRQ session 2012-03-16 18:24:00 +01:00
target.mk Merge final fixes from internal repositories 2011-12-23 14:04:29 +01:00