Giters
mars-research
/
redleaf
RedLeaf Operating System
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
111
Watchers:
14
Issues:
50
Forks:
7
mars-research/redleaf Issues
Invalid/ Missing register writes in ixgbe driver
Updated
9 months ago
RedLeaf does not rely on hardware address spaces for isolation?
Closed
2 years ago
Comments count
1
I downloaded the code using qemu in ubuntu, but it start half and stoped
Updated
2 years ago
PCI mmap is broken due to ngc
Updated
3 years ago
Create a test suite that could be triggered from CI
Updated
3 years ago
Need gdb script for debugging
Updated
3 years ago
Create a README for reproducing the benchmarks
Updated
3 years ago
Move temporary files for placeholders to a temp folder
Updated
3 years ago
Add support for perf counters
Updated
3 years ago
Support interrupt mode for network and block drivers
Updated
3 years ago
Measure CPU utilization
Updated
3 years ago
git clone failed because redIDL is not public
Updated
3 years ago
Comments count
1
Enforce type constrains in IDL
Updated
3 years ago
rv6: Support threads
Updated
3 years ago
Get virtio notify offset multiply from PCI configuration
Updated
3 years ago
Proxy should not impl Sync/Send forcefully
Updated
3 years ago
Code Generation
Updated
3 years ago
TPM Thread Safety
Updated
4 years ago
Document RRef Behavior
Updated
4 years ago
Disable interrupt when cleanup
Updated
4 years ago
Arc should not be passed across domain boundaries
Updated
4 years ago
Rewrite inode layer
Updated
4 years ago
Ghost inode
Closed
4 years ago
Comments count
1
usr_net
Closed
4 years ago
Comments count
1
Investigate `assert!` causing PageFault
Updated
4 years ago
rref: Flaky test
Updated
4 years ago
Comments count
3
Consolidate RRefVec and RRefArray
Updated
4 years ago
Implement All xv6 Syscalls
Updated
4 years ago
RRef
Closed
4 years ago
Eval Meaningful Program
Closed
4 years ago
OSDI 2020 Main Tracker
Closed
4 years ago
Finish up rv6 filesystem
Closed
4 years ago
Comments count
1
Implement input device driver
Closed
4 years ago
Comments count
2
ELF load rv6 user programs
Updated
4 years ago
Comments count
1
Refactor FS Log
Updated
4 years ago
Comments count
1
Rv6 benchnet performance bug
Closed
4 years ago
Comments count
1
IXGBE Driver
Closed
4 years ago
Comments count
1
Implement `sleep()`
Closed
4 years ago
Comments count
1
rv6 shell
Closed
4 years ago
Comments count
1
Build breaks while recompiling rv6 domains
Closed
4 years ago
Comments count
1
iguard.write slows down linearly
Updated
4 years ago
sys_get_current_thread regression
Updated
4 years ago
Document features
Updated
4 years ago
Shadow domain example
Closed
4 years ago
Comments count
1
Slack is down
Closed
4 years ago
Comments count
3
QEMU does not run certain machines
Closed
4 years ago
Fast AHCI driver
Updated
4 years ago
Comments count
1
Safety of Compilation for Domains
Updated
4 years ago
Memory Garbage Collection
Updated
4 years ago
Design rv6 user domain entry point interface
Updated
4 years ago
Comments count
1