Search results

tool: building tool/xkb2ifcfg fails after Xml_generator API changes

Status: Open.

#5868 In genodelabs/genode;

· tickzip opened on May 2, 2026

libc: readv should only block once

Status: Open.

#5864 In genodelabs/genode;

· syborg64 opened on Apr 16, 2026

Sculpt OS 26.04

feature

Status: Open.

#5858 In genodelabs/genode;

· nfeske opened on Apr 14, 2026

Platform driver simplifications & cleanup

cleanup

Status: Open.

#5823 In genodelabs/genode;

· skalk opened on Mar 12, 2026

Separate DMA-capable buffer allocation from platform session

Status: Open.

#5822 In genodelabs/genode;

· skalk opened on Mar 12, 2026

Unify page-table template

cleanup

Status: Open.

#5821 In genodelabs/genode;

· skalk opened on Mar 12, 2026

Migration from GitHub to Codeberg

Status: Open.

#5805 In genodelabs/genode;

· jschlatow opened on Feb 4, 2026

Replace Session_object::warning() and friends by just print'able Session_object

cleanup

feature

Status: Open.

#5795 In genodelabs/genode;

· chelmuth opened on Jan 23, 2026

pkg/depot_download: reports succes if DNS request is reject

Status: Open.

#5781 In genodelabs/genode;

· trimpim opened on Dec 22, 2025

sel4: occasional faults in init_smp or depot_autopilot in CI

bug

Status: Open.

#5779 In genodelabs/genode;

· alex-ab opened on Dec 18, 2025

Rework Sculpt OS wireless LAN firmware management for 26.05

feature

Status: Open.

#5778 In genodelabs/genode;

· cnuke opened on Dec 17, 2025

Remove sntp_client (and ping)

cleanup

Status: Open.

#5775 In genodelabs/genode;

· nfeske opened on Dec 16, 2025