genodelabs / genode

Genode OS Framework

https://genode.org/

genodelabs/genode Issues

monitor: stuck in `_handle_config()` until Terminal connection is established
Updated 25 days ago1
Sculpt OS Leitzentrale GUI Audio Mixer Volume Control Slider
Updated 25 days ago
Sculpt OS Leitzentrale GUI Screen Resolution Configuration
Updated 25 days ago
Sculpt OS Audio Driver Cannot Be Restarted
Updated 25 days ago
Sculpt OS Leitzentrale GUI Presets Warning
Updated 25 days ago
`Gpio::Connection` accept a session label
Updated 25 days ago
Sculpt OS Leitzentrale GUI Mouse/Keyboard Grab and Cursor Hide Permission Options
Updated 25 days ago
tcp_terminal: fix destruction of `Open_socket`
Updated 25 days ago1
socket_fs: incomplete destruction of `Socket_fs::Context`
Updated 25 days ago2
Sculpt OS Only Loads NVME1 SSD
Updated 25 days ago
Sculpt OS Leitzentrale GUI Dynamic Component Permissions Reassignment
Updated 25 days ago
lx_emul: update default linux port to version 6.6.35
Updated a month ago1
vbox: guest triggered screen-blanking does not clear the screen
Updated a month ago
Make policy on AI generated or assisted code submissions
Closed a month ago4
driver/wifi: allow to update the connected signal quality periodically
Updated a month ago1
Reduce reliance on C++ exceptions in the base framework
Updated a month ago8
reproducible builds: add limited support
Updated a month ago1
use /data/depot as depot directory in debug info
Updated a month ago6
qemu-usb: wrong assumption about fixed packet sizes of isochronous packets
Updated a month ago1
usb: set control transfer timeout in libusb
Updated a month ago1
pin_session: add missing header in connection.h
Updated a month ago1
hw: handle cap-slab exhaustion during `Cpu_thread::start`
Updated a month ago1
Uncaught Double_insertion with nvme and platform_drv in Sculpt 24.04.1
Updated a month ago8
base-hw: remove spec/cortex_a* directories & name page table header consistently
Updated a month ago
black_hole: add missing "report" in config.xsd
Closed a month ago1
Allow for exception-less handling of `Id_space::apply`
Closed a month ago1
libc: handle invalid file descriptor in poll()
Closed a month ago2
tool/run: configuration syntax check fails with libxml2 >= 2.13
Closed a month ago4
Remove `Cpu_session::State_access_failed`, revise `Thread_state`
Closed a month ago
Remove `Xml_node::attribute` accessor(s)
Closed a month ago1
signal.h: replace pointers by references in API
Closed a month ago
platform: potential conflict between DMA buffers and reserved memory
Closed a month ago4
acpica: failed IO_MEM session on t490s and base-hw
Closed a month ago5
driver/platform: support to resume bridges after suspend
Closed a month ago
Fix ticks to microseconds calculation in timer_ticks_to_us()
Closed a month ago1
sculpt: fix Gpu-route in goa_testbed-preset
Closed a month ago1
Make `Genode::Color` C++20 friendly
Closed a month ago
Make util/geometry.h C++20 friendly
Closed a month ago7
Support to sign grub2 bootloader for shim usage
Closed a month ago4
tool/depot: `--no-default-keyring` is ineffective on installations with `use-keyboxd`
Closed a month ago1
Move remaining imx-specifics to genode-imx repository
Updated a month ago
Remove `Service_denied` exception from API
Updated a month ago
sculpt/hw: noticeable performance degradation with increased uptime in virtualbox
Updated a month ago11
Tighten `Gui::Session` interface
Updated 2 months ago
lx_emul: enable linux SLUB allocator
Updated 2 months ago
Update framework APIs to C++20 function template syntax
Closed 2 months ago5
bsd_audio_drv exceeds its cap quota on base-hw
Closed 2 months ago1
pc_wifi: initialization fails after reboot from linux (or minimal pc_linux)
Closed 2 months ago1
Remove loader, the loader-session interface, and qpluginwidget
Closed 2 months ago2
sculpt: vbox6 fails to create file-system session if vm_fs is started after vbox6
Closed 2 months ago7