Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
robigalia
devbox
Merge requests
Open
3
Merged
34
Closed
4
All
41
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Start cleaning up build.rs
!41
· created
Jun 04, 2021
by
Ben
2
updated
Jun 28, 2021
Remove old feature `const_fn`
!40
· created
Jun 04, 2021
by
Ben
Closed
1
updated
Jun 04, 2021
Expose ergonomic move between usize and capability types
!39
· created
Jun 03, 2021
by
Ben
Merged
1
updated
Jun 16, 2021
update to rust 1.55.0-nightly
!38
· created
May 28, 2021
by
Jimmy Brush
Merged
0
updated
Jun 16, 2021
Implement a dbg_print macro family.
!37
· created
May 28, 2021
by
Ben
Closed
2
updated
May 29, 2021
WIP: Add examples based on seL4 tutorials.
!36
· created
May 28, 2021
by
Ben
6
updated
Jun 19, 2021
Automate aarch64 cmake arg inclusion for when needed
!35
· created
May 21, 2021
by
Ben
Merged
9
updated
May 28, 2021
Sel4 12.0.0
!34
· created
Mar 29, 2021
by
Jimmy Brush
Merged
Approved
1
updated
Apr 24, 2021
update to rust nightly 1.53
!33
· created
Mar 28, 2021
by
Jimmy Brush
Merged
Approved
0
updated
Apr 24, 2021
Move debug printing into its own struct
!32
· created
Sep 24, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 24, 2020
Fix boolean handling in invocations
!31
· created
Sep 23, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 23, 2020
Implement kernel object invocations
!30
· created
Sep 22, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 23, 2020
implement tagged unions
!29
· created
Sep 20, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 20, 2020
Bound notifications
!28
· created
Sep 12, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 16, 2020
fix notification methods
!27
· created
Sep 11, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 11, 2020
Fixes and improvements to Endpoint and ReplyToken
!26
· created
Sep 10, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 12, 2020
wip: migrate from llvm_asm to asm
!25
· created
Sep 07, 2020
by
DarkFox
0
implement endpoint and reply
!24
· created
Sep 07, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 07, 2020
generate syscalls as struct methods and cleanup
!23
· created
Sep 06, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 07, 2020
add initial aarch64 support
!22
· created
Sep 05, 2020
by
Jimmy Brush
Merged
Approved
0
updated
Sep 06, 2020
Prev
1
2
3
Next