Skip to content

Issues: sid-agrawal/OSmosis

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 6 Closed
37 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Add attribute on every edge indicating which PD is in charge of setting up or maintaining that edge enhancement New feature or request impl-task modelling-task
#68 opened Nov 10, 2024 by sid-agrawal CompareWork
@sid-agrawal
GPIKV007 passes, but the model extraction fails bug Something isn't working
#67 opened Nov 10, 2024 by sid-agrawal CompareWork
@sid-agrawal
Link guest State to Host State on CellulOS impl-task modelling-task
#66 opened Sep 23, 2024 by sid-agrawal CompareWork
1
Variable Time to Destroy an MO impl-task
#65 opened Aug 15, 2024 by astevins
1
Combine Root-Server and seL4 kernel
#61 opened Jul 31, 2024 by sid-agrawal
Port OpenSSL help wanted Extra attention is needed impl-task
#59 opened Jul 30, 2024 by sid-agrawal
System Topology Service impl-task
#58 opened Jul 30, 2024 by sid-agrawal
Look at sel4-debug from Cantrip enhancement New feature or request help wanted Extra attention is needed impl-task
#57 opened Jul 30, 2024 by sid-agrawal
Have a Rust PD in CellulOS impl-task
#56 opened Jul 30, 2024 by sid-agrawal
Port webserver based on micropython impl-task
#55 opened Jul 30, 2024 by sid-agrawal
Port Redis impl-task
#54 opened Jul 30, 2024 by sid-agrawal
1
Boilerplate for Cross PD communication impl-task
#53 opened Jul 30, 2024 by sid-agrawal ExploreWork
submarine tooling impl-task modelling-task
#52 opened Jul 30, 2024 by sid-agrawal ExploreWork
Resource Cleanup Design, impl and Eval impl-task
#51 opened Jul 30, 2024 by sid-agrawal Thesis (maybe)
Modelling: Differences between μ-kernel and monolithic kernel modelling-task
#49 opened Jul 30, 2024 by sid-agrawal CompareWork
Modelling: Cellular Disco Vs. BF Vs. Cluster modelling-task
#48 opened Jul 30, 2024 by sid-agrawal CompareWork
Framework: Be explicit about the framework is. documentation Improvements or additions to documentation
#47 opened Jul 30, 2024 by sid-agrawal Thesis (maybe)
1
RSI: Does number of resource types in the 2 PDs being compared needs to be the same modelling-task
#46 opened Jul 30, 2024 by sid-agrawal Thesis (maybe)
Modelling CGroups modelling-task
#45 opened Jul 30, 2024 by sid-agrawal ExploreWork
Formally Specify the constraints on each element in the model documentation Improvements or additions to documentation
#44 opened Jul 30, 2024 by sid-agrawal Thesis (maybe)
Model Permission on Hold Edges modelling-task
#41 opened Jul 30, 2024 by sid-agrawal CompareWork
1
Different Types of PDs in the context of nested PDs modelling-task
#40 opened Jul 30, 2024 by sid-agrawal CompareWork
@sid-agrawal
1
Have execution-context as an entity in the model modelling-task
#39 opened Jul 30, 2024 by sid-agrawal ExploreWork
@sid-agrawal
4
Track/Find the memory storing model elements? modelling-task
#38 opened Jul 30, 2024 by sid-agrawal CompareWork
Explicitly showcase multiple resource types modelling-task
#37 opened Jul 30, 2024 by sid-agrawal CompareWork
ProTip! no:milestone will show everything without a milestone.