ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-15 16:46:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os/src
History
Alexander Boettcher ea3ed25431 base: support specifying PCI bdf on irq creation 
Required by the seL4 kernel interface for MSI creation and by another upstream
kernel.

Issue #5423
2025-01-30 16:30:14 +01:00
..
app
pci_decode: report IOAPIC devices
2025-01-30 16:30:13 +01:00
driver
base: support specifying PCI bdf on irq creation
2025-01-30 16:30:14 +01:00
init
tool/run: use xmlcatalog for xsd file paths
2024-06-20 12:56:20 +02:00
lib
sandbox: don't use Xml_node as return value
2025-01-30 16:30:14 +01:00
monitor
monitor/sandbox: use Callable
2025-01-30 16:30:14 +01:00
server
nitpicker: send pointer pos to global key handler
2025-01-30 16:24:36 +01:00
test
base: split Pd_account from Pd_session
2025-01-30 16:24:36 +01:00
trace/policy
Add trace policy binary to BUILD_ARTIFACTS
2023-05-30 17:00:01 +02:00