issues
search
seL4
/
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
12
stars
39
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add python-protobuf3
#37
nomadeel
closed
3 years ago
1
Use rust stable and remove rumprun rust target
#36
nomadeel
closed
3 years ago
3
use Debian riscv toolchain in base image
#35
lsf37
closed
3 years ago
5
Lint only changed/modified files
#34
lsf37
closed
3 years ago
0
Investigate if linter can be PR scoped
#33
lsf37
closed
3 years ago
1
Add basic network troubleshooting tools to the base image
#32
tcptomato
closed
3 years ago
3
sel4.sh: add setup for building documentation
#31
lsf37
closed
3 years ago
6
Explicitly install `ssh`
#30
lsf37
closed
3 years ago
0
SPDX and foundation setup
#29
lsf37
closed
3 years ago
2
Allow 'docker' to be manually set to podman
#28
xurtis
closed
3 years ago
3
Migrate logic away from user.Dockerfile into a bash script.
#27
LukeMondy
closed
3 years ago
0
Is the stack group required for a regular build environment?
#26
Jesse-Millwood
closed
3 years ago
6
Add github action workflow for superlinter
#25
LukeMondy
closed
4 years ago
1
Fix rust script, so any user can use the rust compiler.
#24
LukeMondy
closed
4 years ago
1
`make user` fails with `docker: Error response from daemon: Unable to find group stack.` on MacOS
#23
ddddavidmartin
closed
4 years ago
1
make user does not work
#22
Srinivasa314
closed
4 years ago
5
Docker option :exec not accepted by docker.
#21
gbadevic-hc
closed
4 years ago
2
Add target for l4v using RISC-V.
#20
gbadevic-hc
closed
4 years ago
1
make user doesn't work on mac
#19
awmorgan
closed
4 years ago
3
Issues building images, due to apt error
#18
LukeMondy
closed
4 years ago
1
MacOS date command has different arguments and breaks docker image age checking
#17
micheloosterhof
closed
4 years ago
5
Recent docker on MacOS does not allow mounting of /etc/localtime
#16
micheloosterhof
closed
3 years ago
4
Make the CAmkES Docker images work under `podman`
#15
maybe-sybr
closed
4 years ago
16
Added the group "stack" and given it access to ghl
#14
tcptomato
closed
4 years ago
21
"make user" broken
#13
johnhansen97
closed
4 years ago
3
Make user fails on Ubuntu 18.04.3 LTS
#12
BeFlo
closed
4 years ago
8
use current users GID also, use username instead if UID for volume names
#11
axel-h
closed
5 years ago
2
docker container lacks Python modules needed for tutorials
#10
axel-h
closed
5 years ago
2
Make container invocations more scriptable
#9
kkredit
closed
5 years ago
1
Test l4v/HaskellKernel fails
#8
paolo-crisafulli
closed
5 years ago
3
Make the verification for old images less severe
#7
paolo-crisafulli
closed
5 years ago
2
Let users be sudoers
#6
paolo-crisafulli
closed
5 years ago
1
Fix "make user_l4v"
#5
paolo-crisafulli
closed
5 years ago
1
user_l4v: Java errors with Isabelle build environment
#4
tompreston
closed
5 years ago
3
Python 2 dependencies are missing
#3
tompreston
closed
5 years ago
2
make user error
#2
aogrcs
closed
6 years ago
4
Fix target user_l4v in Makefile
#1
paolo-crisafulli
closed
7 years ago
1
Previous