Logo
Explore Help
Sign In
ExternalVendorCode/genode
1
0
Fork 0
You've already forked genode
mirror of https://github.com/genodelabs/genode.git synced 2025-05-30 14:14:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os/src
History
Christian Prochaska 48e6468df1 os: support UART drivers in board-specific repositories
Fixes #4973
2023-08-21 08:12:01 +02:00
..
app
ping: align dhcp client more with nic_router again
2023-08-21 08:12:01 +02:00
drivers
os: support UART drivers in board-specific repositories
2023-08-21 08:12:01 +02:00
init
xml_node: change with_sub_node signature
2022-09-19 14:00:33 +02:00
lib
usb genode_c_api: reduce config report updates
2023-07-14 12:01:19 +02:00
monitor
monitor: forward priority session argument
2023-07-14 12:06:32 +02:00
server
nic_uplink: connect a Nic to an Uplink session
2023-08-21 08:12:00 +02:00
test
test/timeout: revert use of memory barriers
2023-07-14 12:06:32 +02:00
trace/policy
Add trace policy binary to BUILD_ARTIFACTS
2023-05-30 17:00:01 +02:00
Powered by Gitea Version: 1.23.8 Page: 58ms Template: 4ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API