genode/repos/base-okl4
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
..
contrib/generated Update README files 2023-03-13 14:32:53 +01:00
etc base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
lib base: de-duplicate src/lib/base/platform.cc 2023-07-14 12:06:31 +02:00
patches okl4: use python2 explicitely in elfweaver tool 2020-09-17 10:14:07 +02:00
ports okl4: use python2 explicitely in elfweaver tool 2020-09-17 10:14:07 +02:00
recipes/src/base-okl4 depot: update recipe hashes 2023-10-25 14:01:40 +02:00
run base: use [build_artifacts] in run scripts 2023-05-30 12:03:26 +02:00
src base: add irq_type session argument 2023-11-28 19:35:16 +01:00
tool Update README files 2023-03-13 14:32:53 +01:00
README Update README files 2023-03-13 14:32:53 +01:00

This repository contains the support of Genode for the OKL4 kernel version 2.1.