Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
    • Switch to GitLab Next
  • Sign in / Register
M
meta
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 34
    • Issues 34
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
    • Iterations
  • Merge Requests 0
    • Merge Requests 0
  • Requirements
    • Requirements
    • List
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • Code Review
    • Insights
    • Issue
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • robigalia
  • meta
  • Issues

  • Open 34
  • Closed 8
  • All 42
New issue
  • Priority Created date Last updated Milestone due date Due date Popularity Label priority Manual Weight Blocking
  • Content of meta project could better facilitate newcomer involvement (this one, at least)
    #42 · opened Jul 09, 2019 by Ben
    • 3
    updated Jan 14, 2020
  • Supervisor
    #39 · opened Apr 24, 2017 by ember arlynx   Minimal Viable Prototype
    • 0
    updated Nov 04, 2018
  • Trusted device manager server
    #36 · opened Oct 28, 2016 by ember arlynx   design-discussion firmament
    • 0
    updated Oct 10, 2018
  • Create a TAP crate
    #35 · opened Oct 20, 2016 by ember arlynx   good-first-project os-agnostic
    • 5
    updated Jul 19, 2017
  • Support for running tests inside seL4 environment in an automated manner
    #34 · opened Oct 20, 2016 by Alex Elsayed
    • 2
    updated Sep 10, 2019
  • Automata-based message routing
    #33 · opened Oct 14, 2016 by ember arlynx   design-discussion good-first-project
    • 3
    updated Oct 09, 2018
  • USB support
    #32 · opened Oct 14, 2016 by ember arlynx   os-agnostic
    • 2
    updated Apr 24, 2017
  • Basic PS/2 Driver
    #31 · opened Oct 14, 2016 by ember arlynx   good-first-project plat/pc
    • 0
    updated Apr 24, 2017
  • Transaction Protocol
    #30 · opened Oct 13, 2016 by ember arlynx   design-discussion
    • 4
    updated May 06, 2020
  • Implement a VFS
    #29 · opened Oct 13, 2016 by ember arlynx   good-first-project
    • 2
    updated May 18, 2017
  • Lay foundations for storage subsystem (nemo)
    #28 · opened Oct 13, 2016 by ember arlynx   Minimal Viable Prototype   To Do good-first-project
    • 0
    updated Apr 24, 2017
  • Add time server
    #27 · opened Oct 13, 2016 by ember arlynx   Minimal Viable Prototype   To Do good-first-project
    • 14
    updated Apr 24, 2017
  • Add a CAmkES component for Phoma silos
    #26 · opened Oct 13, 2016 by ember arlynx   feature-proposal runtime
    • 0
    updated Apr 24, 2017
  • Add RedoxFS support
    #25 · opened Oct 13, 2016 by Nathan Moos
    • 1
    updated Apr 24, 2017
  • ext2 filesystem driver
    #24 · opened May 02, 2016 by ember arlynx   linux-compat   9
    • 0
    updated Apr 24, 2017
  • ramfs
    #23 · opened May 02, 2016 by ember arlynx   linux-compat   7
    • 0
    updated Apr 24, 2017
  • Alpine bootstrap script
    #22 · opened May 02, 2016 by ember arlynx   linux-compat   9
    • 1
    updated Apr 24, 2017
  • UNIX Domain Sockets
    #21 · opened May 01, 2016 by ember arlynx   linux-compat   8
    • 0
    updated Apr 24, 2017
  • POSIX signal management
    #20 · opened May 01, 2016 by ember arlynx   linux-compat   8
    • 0
    updated Apr 24, 2017
  • Integrate lwip
    #18 · opened May 01, 2016 by ember arlynx   linux-compat   6
    • 2
    updated Apr 24, 2017
  • Prev
  • 1
  • 2
  • Next