Re: [qubes-users] Installing Mirage Firewall

2019-04-18 Thread brendan . hoar
On Thursday, April 18, 2019 at 9:29:33 AM UTC-4, Brendan Hoar wrote:
> On Wednesday, April 17, 2019 at 2:46:10 PM UTC-4, 799 wrote:
> > I was also struggling with the installation, therefore (and to save time 
> > for the Mirage Pros to develop the firewall not helping newbies like 
> > myself) I have created a howto:
> > 
> > 
> > https://github.com/Qubes-Community/Contents/blob/master/docs/customization/mirage-firewall.md
> 
> Thanks for this effort.
> 
> 1) I had to remove the "-" from a variable assignment/use: "MirageFW-BuildVM" 
>  "MirageFWBuildVM".
> 
> 2) An error was returned after soft linking to the docker directory before it 
> was created (which happens in a later command), but that was not a blocker to 
> continue.
> 
> 3) The build is failing due to missing components in the build script, so I 
> am stuck there, see below:


4) The ln -s has the arguments reversed which ends up leading to the docker 
install storage in /dev/xvda3 (/var/lib/docker) instead of in /dev/xvdb 
(/home/user/var_lib_docker), so it fails on my system as / runs out of room. 
I've reversed the arguments in the ln -s and it is working now.

Thanks a bunch!

-- 
You received this message because you are subscribed to the Google Groups 
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to qubes-users+unsubscr...@googlegroups.com.
To post to this group, send email to qubes-users@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/qubes-users/27e3286d-17de-4e90-80de-79534875e20a%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] Installing Mirage Firewall

2019-04-18 Thread brendan . hoar
On Wednesday, April 17, 2019 at 2:46:10 PM UTC-4, 799 wrote:
> I was also struggling with the installation, therefore (and to save time for 
> the Mirage Pros to develop the firewall not helping newbies like myself) I 
> have created a howto:
> 
> 
> https://github.com/Qubes-Community/Contents/blob/master/docs/customization/mirage-firewall.md
> 
> You can run all steps from dom0 ;-)
> If you need further help, to not hesitate to ask.
> I'd like to hear your feedback, if we can improve the howto.

Hiya 799,

Thanks for this effort.

1) I had to remove the "-" from a variable assignment/use: "MirageFW-BuildVM"  
"MirageFWBuildVM".

2) An error was returned after soft linking to the docker directory before it 
was created (which happens in a later command), but that was not a blocker to 
continue.

3) The build is failing due to missing components in the build script, so I am 
stuck there, see below:

Running the build script, I get this output:

...snip...
[ocamlbuild.0.14.0] downloaded from 
https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[WARNING] ocamlfind.1.8.0: download of 
http://download.camlcity.org/download/findlib-1.8.0.tar.gz failed 
(http://download.camlcity.org/download/findlib-1.8.0.tar.gz (Curl failed: 
"/usr/bin/curl --write-out %{http_code}\\n --retry 3 --retry-delay 2 
--user-agent opam/2.0.3 -L -o 
/home/opam/.opam/4.07/.opam-switch/sources/ocamlfind.1.8.0/findlib-1.8.0.tar.gz.part
 http://download.camlcity.org/download/findlib-1.8.0.tar.gz"; exited with code 
7)), trying mirror
...snip...
[xenstore_transport.1.0.0] downloaded from 
https://github.com/xapi-project/ocaml-xenstore-clients/archive/v1.0.0.tar.gz
[ERROR] The sources of the following couldn't be obtained, aborting:
  - astring.0.8.3: Curl failed
  - bos.0.2.0: Curl failed
  - fmt.0.8.6: Curl failed
  - fpath.0.7.2: Curl failed
  - logs.0.6.2: Curl failed
  - ocamlfind.1.8.0: Curl failed
  - ocamlgraph.1.8.8: Curl failed
  - ptime.0.8.4: Curl failed
  - rresult.0.6.0: Curl failed
  - topkg.1.0.0: Curl failed

The command '/bin/sh -c opam install -y vchan mirage-xen-ocaml 
mirage-xen-minios io-page mirage-xen mirage mirage-nat mirage-qubes' returned a 
non-zero code: 40

-- 
You received this message because you are subscribed to the Google Groups 
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to qubes-users+unsubscr...@googlegroups.com.
To post to this group, send email to qubes-users@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/qubes-users/e833d977-63f5-4f71-a2a7-dfcc969b0912%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] Installing Mirage Firewall

2019-04-18 Thread Claudio Chinicz @ Gmail

Hi There,

Thanks a lot! What a great community!

Cheers

On 17/04/2019 21:45, 799 wrote:

Hello Claudio

Claudio Chinicz mailto:cchin...@gmail.com>> 
schrieb am Mi., 17. Apr. 2019, 15:39:


Hi All,

I'm trying to install/test/play with Mirage, following
instructions from
https://github.com/mirage/qubes-mirage-firewall.

Honestly, I've got entirely lost, since I'm not a pro and not
proficient
with Linux.

Can anyone provide a step-by-step recipe how to install the unikernel?


I was also struggling with the installation, therefore (and to save 
time for the Mirage Pros to develop the firewall not helping newbies 
like myself) I have created a howto:


https://github.com/Qubes-Community/Contents/blob/master/docs/customization/mirage-firewall.md

You can run all steps from dom0 ;-)
If you need further help, to not hesitate to ask.
I'd like to hear your feedback, if we can improve the howto.

- O/799


--
You received this message because you are subscribed to the Google Groups 
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to qubes-users+unsubscr...@googlegroups.com.
To post to this group, send email to qubes-users@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/qubes-users/e2bc679c-72a5-9517-766b-0c0e0ead616b%40gmail.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] Installing Mirage Firewall

2019-04-17 Thread 799
Hello Claudio

Claudio Chinicz  schrieb am Mi., 17. Apr. 2019, 15:39:

> Hi All,
>
> I'm trying to install/test/play with Mirage, following instructions from
> https://github.com/mirage/qubes-mirage-firewall.
>
> Honestly, I've got entirely lost, since I'm not a pro and not proficient
> with Linux.
>
> Can anyone provide a step-by-step recipe how to install the unikernel?
>

I was also struggling with the installation, therefore (and to save time
for the Mirage Pros to develop the firewall not helping newbies like
myself) I have created a howto:

https://github.com/Qubes-Community/Contents/blob/master/docs/customization/mirage-firewall.md

You can run all steps from dom0 ;-)
If you need further help, to not hesitate to ask.
I'd like to hear your feedback, if we can improve the howto.

- O/799

-- 
You received this message because you are subscribed to the Google Groups 
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to qubes-users+unsubscr...@googlegroups.com.
To post to this group, send email to qubes-users@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/qubes-users/CAJ3yz2uKdGKCV6fxZrT53s7qs7KMpyyYPdundjkJ8o_DEyM9UQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.


[qubes-users] Installing Mirage Firewall

2019-04-17 Thread Claudio Chinicz

Hi All,

I'm trying to install/test/play with Mirage, following instructions from 
https://github.com/mirage/qubes-mirage-firewall.


Honestly, I've got entirely lost, since I'm not a pro and not proficient 
with Linux.


Can anyone provide a step-by-step recipe how to install the unikernel?

Thanks a lot in advance,

Claudio

--
You received this message because you are subscribed to the Google Groups 
"qubes-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to qubes-users+unsubscr...@googlegroups.com.
To post to this group, send email to qubes-users@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/qubes-users/q97a9j%242gcj%241%40blaine.gmane.org.
For more options, visit https://groups.google.com/d/optout.