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
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}}
Updated date
correct some rust variable name conversions
!16
· created
Aug 19, 2020
by
Jimmy Brush
Merged
Approved
updated
Aug 19, 2020
add checks for required configs to syscall-hello
!15
· created
Aug 17, 2020
by
Jimmy Brush
Merged
Approved
updated
Aug 17, 2020
add unsafe cptr constructor
!14
· created
Aug 16, 2020
by
Jimmy Brush
Merged
Approved
updated
Aug 16, 2020
Fixes qemu flags and uses debug-halt in syscall-hello example
!13
· created
Aug 16, 2020
by
DarkFox
Merged
Approved
updated
Aug 16, 2020
manually map some seL4 typedefs to rust types
!12
· created
Aug 15, 2020
by
Jimmy Brush
Merged
Approved
updated
Aug 16, 2020
don't translate c types into i/usize
!11
· created
Aug 15, 2020
by
Jimmy Brush
Merged
Approved
updated
Aug 15, 2020
Fixes and improvements to syscalls
!10
· created
Aug 15, 2020
by
Jimmy Brush
Merged
Approved
updated
Aug 15, 2020
update for recent work
!9
· created
Dec 15, 2017
by
Jimmy Brush
Merged
updated
Dec 15, 2017
fix sel4-alloc to use wip branch
!8
· created
Dec 13, 2017
by
Jimmy Brush
Merged
updated
Dec 13, 2017
update sel4-targets to fix debug builds
!7
· created
Nov 25, 2017
by
Jimmy Brush
Merged
updated
Nov 25, 2017
update submodules for rust nightly 1.23
!6
· created
Nov 11, 2017
by
Jimmy Brush
Merged
updated
Nov 11, 2017
Update submodules to 5.2.0-mcs
!5
· created
Aug 27, 2017
by
Jimmy Brush
Merged
updated
Aug 27, 2017
Convert to submodules
!2
· created
May 03, 2016
by
Alex Elsayed
Merged
1
updated
May 04, 2016
Fix compiler-rt breakage
!1
· created
Dec 18, 2015
by
ember arlynx
Merged
updated
Dec 18, 2015
Prev
1
2
Next