NeptuneOS
NeptuneOS copied to clipboard
cl91
Neptune OS: A Windows NT personality for the seL4 microkernel
As of right now a global handle is simply the offset of the executive object from the start of the executive pool. This would pose a problem if an object...
Now that the client side SEH and file systems are both done, server shouldn't need to know about the client module list (LDR_DATA_TABLE_ENTRY etc). Remove the LDRP_LOADED_MODULE data structure (and...
I'm using this as a tracker for v0.2. - [x] ExFreePool. This is done in `c20ef7a989` - [x] In `MiUncommitVad` don't call `MiQueryVirtualAddress`. Call `MiAvlGetNextNode` instead. - [x] MmReleaseUntyped. Note...
On x64, Clang/LLVM doesn't generate the correct scope table for exceptions thrown in the same frame
On x64, clang/llvm (version 13.0.1) doesn't seem to generate the correct scope table for the following example ``` VOID Test() { __try { asm { "ud2" } } __except (EXCEPTION_EXECUTE_HANDLER)...
Work items for future releases (probaby v0.3). Some of these are moved from v0.2. - [x] Implement UEFI framebuffer console. This is done in commit 51f224a - [x] Enable IOAPIC/IOAPICx2...
We need to figure out how to get console working on coreboot bios (especially with libgfxinit high-resolution linear framebuffer). - [ ] Enable serial console in coreboot config and reflash...
I got `fsgsbase instructions not supported by the processor` in the serial console
- How is Neptune OS related with Wine? AFAIK Wine already implements the Windows kernel on user-space (wineserver), thus I think Neptune is seL4-specific. - How much it's different from...
See commit 766b21e8fd83b5c4fcebfda809d1862dcfab54cc It appears that we have to call `Revoke` on the untyped cap, regardless of whether the children of the untyped have been deleted. We always delete the...
- [ ] Call the ACPI driver to shutdown the machine. - [x] Fix the ACPI ASL parsing bug where the DMA channel of floppy controller is parsed incorrectly. Fixed...