Johannes Schlatow eefaa07024 base: add irq_type session argument ... By adding the `irq_type` argument, one can explicitly specify whether to use LEGACY, MSI or MSI-X interrupts. We formerly used the `device_phys_config` to implicitly select MSI, however, with the addition of IOMMU support to the platform driver there is at least one instance where we need an MSI for a non-PCI device. Yet, by adding another session argument to the Irq session, we exceed the character limit for session args. Since not all arguments are relevant for LEGACY interrupts resp. MSI, we can split the Irq_connection constructor to handle the two cases separately and omit unneeded arguments. genodelabs/genode#5002		2023-11-28 19:35:16 +01:00
..
core	base: add irq_type session argument	2023-11-28 19:35:16 +01:00
include	core: introduce 'Core' namespace	2023-03-13 14:32:37 +01:00
kernel/fiasco	foc,fiasco: symlink kernel files to bin/	2017-05-31 13:15:54 +02:00
lib/base	base: move 'prepare_init_main_thread' to Genode::	2023-07-14 12:06:31 +02:00
timer/fiasco	Move timer from os to base repository	2019-01-14 12:33:57 +01:00