issues
search
genodelabs
/
genode
Genode OS Framework
https://genode.org/
Other
1.03k
stars
249
forks
source link
issues
Most commented
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Sculpt OS 24.04
#5174
nfeske
closed
2 weeks ago
112
base-linux: enabled seccomp and socket descriptor caps for RPC
#3581
throwException
closed
3 years ago
97
platform_drv: add IOMMU support
#5002
jschlatow
closed
5 months ago
84
arndale & framebuffer: FB-to-HDMI support
#796
m-stein
closed
10 years ago
76
Sculpt 23.04 consolidation
#4820
m-stein
closed
1 year ago
73
register/mmio framework: add upper-bounds checks
#4081
nfeske
closed
2 months ago
73
AHCI does not work with SB7x0/SB8x0/SB9x0 SATA controller
#1547
NobodyIII
closed
5 years ago
67
base-hw: building dynamically linked binaries fails
#756
skalk
closed
10 years ago
67
Update Libc
#3289
ehmry
closed
4 years ago
66
depot_autopilot: evaluate sets of test packages
#3027
m-stein
closed
5 years ago
61
tool chain update for 23.05 release
#4827
cproc
closed
11 months ago
60
Transition to the new base API
#1987
nfeske
closed
5 years ago
60
hw: catch all stack overflows
#989
m-stein
closed
10 years ago
60
x86: generalized virtualization interface
#3111
alex-ab
closed
4 years ago
59
file vault: new version for genode 23.05
#4819
m-stein
closed
11 months ago
58
Turn NIC drivers from NIC servers into Uplink clients
#3961
m-stein
closed
1 year ago
57
Planning of Hack'n'Hike 2016
#1544
m-stein
closed
7 years ago
57
VFS notifications
#1934
ehmry
closed
6 years ago
55
nic_router optimisations
#4555
jschlatow
closed
1 year ago
53
vfs/rump: access to (large?) files on 22.02 leads to unresponsive entrypoint
#4459
trimpim
closed
2 years ago
53
LwIP VFS plugin
#2335
ehmry
closed
5 years ago
53
vfs: new plugin for named pipes
#3583
sidhussmann
closed
3 years ago
51
Vancouver: Switch to Seoul git repo
#666
parthy
closed
11 years ago
51
Hack'n'Hike 2019
#2841
m-stein
closed
5 years ago
50
platform_drv: interrupt remapping support
#5066
jschlatow
opened
5 months ago
49
RFC platform_drv/x86: Switch to ECAM/MMCONF
#2547
reet-
closed
6 years ago
49
Sculpt/x86: integrate ACPI suspend/resume
#5180
alex-ab
closed
2 weeks ago
48
platform_drv: use new API for PCI drivers, deprecate old one
#4578
skalk
closed
1 year ago
47
VFS improvements
#1648
ehmry
closed
8 years ago
47
Hack'n'Hike 2014
#1158
nfeske
closed
9 years ago
47
Design and implement hack'n'hike event for the Genode crowd
#122
chelmuth
closed
12 years ago
44
lx_fs: add watch
#4070
trimpim
closed
2 years ago
43
virtualbox: network access through nic_router
#2490
m-stein
closed
6 years ago
43
UEFI x86 support
#2242
alex-ab
closed
6 years ago
43
libc: integration test
#3967
trimpim
closed
2 years ago
42
rpi: usb_hid test fails
#3247
skalk
closed
3 years ago
42
timeout framework: limitation of ~1hour on 32-bit systems
#3208
skalk
closed
5 years ago
42
lxip: Update to current DDE-Linux version
#5104
ssumpf
closed
2 months ago
41
Planning of Hack'n'Hike 2017
#1985
m-stein
closed
7 years ago
41
Planning of Hack'n'Hike 2015
#1256
m-stein
closed
8 years ago
40
test-pthread timeouts on rpi3 if run after other tests with depot_autopilot
#4360
tomga
closed
1 year ago
39
os/timer: interpolate time via timestamps
#2400
m-stein
closed
6 years ago
39
Dictionary data structure
#4610
nfeske
closed
1 year ago
38
pc: update intel display driver
#4450
alex-ab
closed
2 years ago
38
base-hw/run/cpu_scheduler: fails
#4151
m-stein
closed
1 year ago
37
Planning of Hack'n'Hike 2018
#2412
m-stein
closed
5 years ago
37
iPXE nic_drv - memory allocation failed in alloc_memblock
#593
dwaddington
closed
11 years ago
35
A graphical control interface for the CBE
#4032
m-stein
closed
2 years ago
34
nova: propagate uncached policy to page attributes
#5000
jschlatow
closed
5 months ago
33
black_hole: provide Event/Nic/Uplink service
#4419
m-stein
closed
2 years ago
33
Next