~sircmpwn/helios

Tickets for the helios kernel

Register here or Log in to submit tickets, or submit via email.
#85
Unmap ASID pools when ASID control is destroyed
13 days ago
~sircmpwn
0 comments
#84
Improve GIC configuration logic aarch64
15 days ago
~sircmpwn
0 comments
#83
Forward device tree to userspace
15 days ago
~sircmpwn
0 comments
#82
Consider creating device memory more liberally
19 days ago
~sircmpwn
0 comments
#81
aarch64 fault handler is problematic for stack overflows
a month ago
~sircmpwn
0 comments
#80
Expose EFI runtime services to userspace
a month ago
~sircmpwn
0 comments
#76
Improve aarch64 kernel loader aarch64
a month ago
~sircmpwn
0 comments
#79
EFI support for x86_64 x86_64
a month ago
~sircmpwn
0 comments
#78
Improve x86_64 kernel loader x86_64
a month ago
~sircmpwn
0 comments
#77
Improve kernel ELF file
a month ago
~sircmpwn
0 comments
#64
Support for large pages (4 MiB) x86_64
a month ago
~sircmpwn
0 comments
#59
Enable fsgsbase if present x86_64
a month ago
~sircmpwn
1 comment
#35
APIC x86_64
a month ago
~sircmpwn
0 comments
#30
Why is ffffff8000000000 mapped as a 2MB page? x86_64
a month ago
~sircmpwn
0 comments
#75
Generalize EFI bootloader for more architectures boot
a month ago
~sircmpwn
0 comments
#74
Kernel/userspace log cooperation design
3 months ago
~sircmpwn
0 comments
#72
vulcan: use cooperative multitasking
3 months ago
~sircmpwn
0 comments
#65
Add kernel command line easy
3 months ago
~sircmpwn
0 comments
#71
Reparent init capabilities to the final memory cap
3 months ago
~sircmpwn
0 comments
#70
Figure out how to deal with kernel logging once userspace takes over
3 months ago
~sircmpwn
0 comments
#69
Make kernel interfaces use uniform IPC semantics
3 months ago
~sircmpwn
0 comments
#15
Dump registers & backtrace on assertion failure easy
3 months ago
~sircmpwn
0 comments
#37
Consider disabling the PIT when there's only one unblocked thread easy
3 months ago
~sircmpwn
0 comments
#51
Improve kernel loader & page tables so everything kernel isn't rwx easy security
3 months ago
~sircmpwn
0 comments
#40
W^X easy security
3 months ago
~sircmpwn
0 comments
1 / 2
next