| .. |
|
base
|
base: remove entrypoint.cc from core
|
2023-07-14 12:06:31 +02:00 |
|
cpu
|
base: provide generic cpu/string.h
|
2023-01-24 12:07:28 +01:00 |
|
cpu_session
|
base: make RPC framework compatible to C++20
|
2023-05-30 12:03:29 +02:00 |
|
cpu_thread
|
base: remove deprecated cancel_blocking() support
|
2020-07-13 11:33:12 +02:00 |
|
dataspace
|
Consistent spelling of "writeable"
|
2022-02-15 10:23:58 +01:00 |
|
drivers
|
Remove i.MX6 platforms from base repositories
|
2023-07-14 12:06:31 +02:00 |
|
io_mem_session
|
base: make RPC framework compatible to C++20
|
2023-05-30 12:03:29 +02:00 |
|
io_port_session
|
base: make RPC framework compatible to C++20
|
2023-05-30 12:03:29 +02:00 |
|
irq_session
|
base: make RPC framework compatible to C++20
|
2023-05-30 12:03:29 +02:00 |
|
log_session
|
base: make RPC framework compatible to C++20
|
2023-05-30 12:03:29 +02:00 |
|
parent
|
base: mark Parent::Close_result with [[nodiscard]]
|
2020-01-03 14:44:15 +01:00 |
|
pd_session
|
base: extend PD session by system_control_cap
|
2023-10-04 13:22:07 +02:00 |
|
region_map
|
base: stricter distinction between rx and rwx
|
2023-06-16 11:24:26 +02:00 |
|
rm_session
|
Remove format strings from connection types
|
2023-03-13 14:32:37 +01:00 |
|
rom_session
|
base: make RPC framework compatible to C++20
|
2023-05-30 12:03:29 +02:00 |
|
root
|
Replace Genode::strncpy by Genode::copy_cstring
|
2020-05-27 11:56:45 +02:00 |
|
session
|
Streamline exception types
|
2017-05-31 13:16:07 +02:00 |
|
spec
|
nova: add guarded access to MSRs
|
2023-10-25 08:58:52 +02:00 |
|
timer
|
nic_router: avoid marginal timeout updates
|
2022-08-10 13:33:02 +02:00 |
|
timer_session
|
timer-session: decrease min timeout to 1 ms
|
2023-09-29 12:17:45 +02:00 |
|
trace
|
trace: add GENODE_TRACE_CHECKPOINT macros
|
2022-08-17 11:54:19 +02:00 |
|
trace_session
|
Remove format strings from connection types
|
2023-03-13 14:32:37 +01:00 |
|
util
|
base: print last character of unterminated strings
|
2023-08-24 14:12:21 +02:00 |
|
vm_session
|
base: rework vmm library API
|
2023-10-04 13:22:03 +02:00 |
