Alexander Boettcher 0c97c13562 pci_decode: report pci bridge configuration ...

as setup by firmware after boot. The information will/can be used by the
platform driver to re-program bridges after a system suspend/resume cycle.

Issue #5241

2024-06-20 12:54:30 +02:00

..

app

pci_decode: report pci bridge configuration

2024-06-20 12:54:30 +02:00

driver

Make util/geometry.h C++20 friendly

2024-06-20 12:54:30 +02:00

init

xml_node: change with_sub_node signature

2022-09-19 14:00:33 +02:00

lib

genode_c_api usb: always return valid capability

2024-04-19 08:54:21 +02:00

monitor

monitor: send a notification when an inferior vanished

2024-04-12 12:57:28 +02:00

server

gui_session,nitpicker,testnit: update coding style

2024-06-20 12:54:30 +02:00

test

gui_session,nitpicker,testnit: update coding style

2024-06-20 12:54:30 +02:00

trace/policy

Add trace policy binary to BUILD_ARTIFACTS

2023-05-30 17:00:01 +02:00