issues
search
cl91
/
NeptuneOS
Neptune OS: A Windows NT personality for the seL4 microkernel
GNU General Public License v3.0
370
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement IRP cancellation
#17
cl91
opened
2 months ago
1
Call the ACPI driver to shutdown the machine.
#16
cl91
opened
2 months ago
0
(Question) Influences
#15
hardBSDk
closed
4 months ago
2
Investigate the untyped release issue
#14
cl91
closed
4 months ago
1
How can i emukate this in QEMU?
#13
leap0x7b
closed
1 year ago
2
We need to fix GLOBAL_HANDLE
#12
cl91
closed
4 months ago
1
Move module loading into client side (ntdll) entirely.
#11
cl91
closed
4 months ago
1
On x64, Clang/LLVM doesn't generate the correct scope table for exceptions thrown in the same frame
#10
cl91
opened
2 years ago
0
Release v0.3 work items
#9
cl91
opened
2 years ago
0
VGA doesn't work on coreboot linear framebuffer
#8
cl91
opened
2 years ago
0
Note the llvm package is also required
#7
pinaraf
closed
2 years ago
1
Release v0.2 work items
#6
cl91
closed
4 months ago
1
Please rename project - There is already NeptuneOS which is a Linux distro
#5
llelectronics
closed
2 years ago
3
Implement QuerySystemInformation(SystemProcessorInformation)
#3
pinaraf
closed
2 years ago
1
ntcmd - Check the result of QuerySystemInformation instead of crashing
#2
pinaraf
closed
2 years ago
1
OS Name Change
#1
tsaqibfs
closed
2 years ago
2