Compare commits
2 commits
2dd0492b75
...
b05e04de8a
Author | SHA1 | Date | |
---|---|---|---|
Reynir Björnsson | b05e04de8a | ||
Reynir Björnsson | 6967dc5b65 |
|
@ -1,8 +1,6 @@
|
||||||
FROM ocaml/opam:ubuntu-20.04-ocaml-4.14 AS opam
|
FROM ocaml/opam:ubuntu-20.04-ocaml-4.14 AS opam
|
||||||
COPY mirage-unikernel-unipi-spt.opam /home/opam/opam-repository/packages/mirage-unikernel-unipi-spt/mirage-unikernel-unipi-spt.0.0.1~dev/opam
|
COPY mirage-unikernel-unipi-spt.opam /home/opam/opam-repository/packages/mirage-unikernel-unipi-spt/mirage-unikernel-unipi-spt.0.0.1~dev/opam
|
||||||
RUN opam update
|
RUN opam update && opam depext mirage-unikernel-unipi-spt && opam install mirage-unikernel-unipi-spt
|
||||||
RUN opam depext mirage-unikernel-unipi-spt
|
|
||||||
RUN opam install mirage-unikernel-unipi-spt
|
|
||||||
RUN bindir="$(opam config var bin)"; cp $bindir/unipi.spt $bindir/solo5-elftool $bindir/solo5-spt .
|
RUN bindir="$(opam config var bin)"; cp $bindir/unipi.spt $bindir/solo5-elftool $bindir/solo5-spt .
|
||||||
|
|
||||||
FROM ubuntu:20.04
|
FROM ubuntu:20.04
|
||||||
|
|
|
@ -26,4 +26,4 @@ ip link set eth0 master br0
|
||||||
ip link set service master br0
|
ip link set service master br0
|
||||||
ip link set br0 up
|
ip link set br0 up
|
||||||
ip link set service up
|
ip link set service up
|
||||||
solo5-spt --net:service=service -- "$unikernel" --ipv4-only=true --ipv4="$ip" --ipv4-gateway="$gateway" "$@"
|
exec solo5-spt --net:service=service -- "$unikernel" --ipv4-only=true --ipv4="$ip" --ipv4-gateway="$gateway" "$@"
|
||||||
|
|
Loading…
Reference in a new issue