Re: [EXT] Re: [qubes-users] wireless " intruder "

2021-01-07 Thread Thomas Leonard
On Thursday, January 7, 2021 at 9:24:44 AM UTC haa...@web.de wrote: > On 1/6/21 6:11 PM, Ulrich Windl wrote: > > On 1/3/21 2:24 PM, haaber wrote: > > ... > >>> Maybe nmap causes the mirage death. That wouldn't be a good job by > >>> mirage though and should be reported as bug to the dev. >

[qubes-users] Re: Question on the new format of rules for Qubes mirage firewall

2019-07-08 Thread Thomas Leonard
On Saturday, July 6, 2019 at 6:09:52 AM UTC+1, pr...@tutanota.de wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA512 > > Hi, > > With the old format of rules for the mirage firewall I had the following > setup: > > ... > let git_addr = Ipaddr.V4.of_string_exn "192.168.1.101" > > let

[qubes-users] Re: Mirage-firewall - build fails

2019-06-22 Thread Thomas Leonard
On Wednesday, June 19, 2019 at 10:31:41 AM UTC+1, ronpunz wrote: > In the past I've successfully built mirage-firewall on several > occasions. However following a recent reinstall of qubesos I've been > unable to successfully build the firewall. > > In summary I've tried building using fedora-29,

Re: [qubes-users] qubes-mirage-firewall 0.6

2019-05-29 Thread Thomas Leonard
On Wednesday, May 29, 2019 at 4:27:05 PM UTC+1, ronpunz wrote: > On 5/29/19 2:08 PM, Thomas Leonard wrote: > > On Wednesday, May 29, 2019 at 2:27:28 PM UTC+1, ron...@riseup.net wrote: > >> On 2019-05-29 07:57, Thomas Leonard wrote: > >>> I'm pleased to announce the re

[qubes-users] Re: How to update dom0 via mirage-firewall

2019-05-29 Thread Thomas Leonard
On Wednesday, May 29, 2019 at 2:06:44 PM UTC+1, ron...@riseup.net wrote: > I'm trying to get mirage-firewall as the vehicle for dom0 updates. > Seemingly, it's only possible to update dom0 using sys-firewall or > sys-whonix via the following settings: Qubes VM Manager -> System -> > Global

Re: [qubes-users] qubes-mirage-firewall 0.6

2019-05-29 Thread Thomas Leonard
On Wednesday, May 29, 2019 at 2:27:28 PM UTC+1, ron...@riseup.net wrote: > On 2019-05-29 07:57, Thomas Leonard wrote: > > I'm pleased to announce the release of qubes-mirage-firewall 0.6: > > > > https://github.com/mirage/qubes-mirage-firewall/releases/tag/v0.6 > &g

[qubes-users] qubes-mirage-firewall 0.6

2019-05-29 Thread Thomas Leonard
I'm pleased to announce the release of qubes-mirage-firewall 0.6: https://github.com/mirage/qubes-mirage-firewall/releases/tag/v0.6 This is a unikernel that can run as a QubesOS ProxyVM, replacing sys-firewall. It may be useful if you want something smaller or faster-to-start than the

Re: [qubes-users] qubes-mirage-firewall 0.5

2019-04-23 Thread Thomas Leonard
On Tuesday, April 23, 2019 at 5:02:36 PM UTC+1, brend...@gmail.com wrote: > Hi Thomas, > > The build script uses download.camlcity.org which appears to be chronically > down. > > Any consideration for replacements? It's up for me. What error are you seeing? -- You received this message

[qubes-users] Re: Windows 10 Pro HVM does not work with Mirage Firewall

2019-04-22 Thread Thomas Leonard
On Friday, April 19, 2019 at 12:19:28 PM UTC+1, Claudio Chinicz wrote: > On 19/04/2019 12:05, Thomas Leonard wrote: > > On Thursday, April 18, 2019 at 9:53:25 AM UTC+1, Claudio Chinicz wrote: > >> Hi All, > >> > >> Once again I turn to the Qubes Community to ask

[qubes-users] Re: Windows 10 Pro HVM does not work with Mirage Firewall

2019-04-19 Thread Thomas Leonard
On Thursday, April 18, 2019 at 9:53:25 AM UTC+1, Claudio Chinicz wrote: > Hi All, > > Once again I turn to the Qubes Community to ask for help. > > I have a Mirage Firewall VM that works with HVM (Linux Mint) and > Debian/Fedora template-based PVMs. > > My Windows 10 HVM, which works just fine

[qubes-users] Re: just dreaming: mirage-tor ?

2019-04-13 Thread Thomas Leonard
On Tuesday, April 9, 2019 at 1:40:29 AM UTC+1, haaber wrote: > as you may have noticed by the mirage-firewall discussions, one > impressive point is the size of mirage -- 32M. That is not yet the 640K > I grew up with, but much more memory-friendly than the > standard-sys-firewall (which took 384M

Re: [qubes-users] qubes-mirage-firewall 0.5

2019-04-13 Thread Thomas Leonard
On Monday, April 8, 2019 at 9:45:05 AM UTC+1, Sphere wrote: > So I have briefly read README.md about this and does this thing really have > to run as a PV VM and cannot be a PVH VM? See: https://lists.xenproject.org/archives/html/mirageos-devel/2019-04/msg00019.html -- You received this

Re: [qubes-users] Re: Looking to edit rules.ml of my mirage-firewall VM but since I cannot run shell, IDK what to do

2019-04-13 Thread Thomas Leonard
On Saturday, April 13, 2019 at 12:24:47 AM UTC+1, 799 wrote: > Hello Thomas. > On Thu, 11 Apr 2019 at 14:02, Thomas Leonard wrote: > [...] > > I've added some examples at > https://github.com/mirage/qubes-mirage-firewall/pull/54 (see the changes to > rules.ml). >

Re: [qubes-users] Re: Looking to edit rules.ml of my mirage-firewall VM but since I cannot run shell, IDK what to do

2019-04-11 Thread Thomas Leonard
ss I have no choice > but go through with that haha > > On Thursday, April 11, 2019 at 3:16:32 AM UTC+8, 799 wrote: > > Hello, > > > > > > > > Thomas Leonard schrieb am Mi., 10. Apr. 2019, 20:42: > > (...) > > > > To change the rules, y

[qubes-users] Re: Looking to edit rules.ml of my mirage-firewall VM but since I cannot run shell, IDK what to do

2019-04-10 Thread Thomas Leonard
On Wednesday, April 10, 2019 at 3:12:25 AM UTC+1, Sphere wrote: > So I have now also boarded the mirage-firewall VM hype to replace > sys-firewall in order to take advantage of the very nice small memory > consumption of just 32 MB > > After searching around I literally failed to find anything

[qubes-users] Re: qubes-mirage-firewall chaining

2019-04-09 Thread Thomas Leonard
On Monday, April 8, 2019 at 11:20:13 PM UTC+1, qmirfw wrote: > Hello, > > I got the qubes-mirage-firewall working in a simple > > sys-net --> sys-mirage-fw --> disp1234 > > situation, but when I wanted to include it in my normal chain, as in > > sys-net --> sys-mirage-fw --> sys-firewall -->

Re: [qubes-users] Re: qubes-mirage-firewall 0.5

2019-04-08 Thread Thomas Leonard
On Monday, April 8, 2019 at 1:29:53 PM UTC+1, haaber wrote: [...] > Q2: How do you integrate the pull/52 into the qubes-mirage-firewall > folder without fiddling files by hand? To test that PR: git pull origin pull/52/head rm -rf _build sudo ./build-with-docker.sh -- You received this message

Re: [qubes-users] Re: qubes-mirage-firewall 0.5

2019-04-08 Thread Thomas Leonard
On Monday, April 8, 2019 at 12:29:30 PM UTC+1, haaber wrote: > here is some build-news. next hint: give your template a lot of *disk > space*. My last error was due to that, but of course it did not tell me > "disc full" but some random other message. So now I am getting closer: > sudo

Re: [qubes-users] Re: qubes-mirage-firewall 0.5

2019-04-08 Thread Thomas Leonard
On Monday, April 8, 2019 at 2:20:28 AM UTC+1, haaber wrote: > > On Sunday, April 7, 2019 at 6:06:13 AM UTC+1, haaber wrote: > >> Hey Thomas, > >> > >> I are right, it that was definitely better to put the FAQ on the site > >> (and this list). I did set up a standalone debian-10 to build, and the >

Re: [qubes-users] qubes-mirage-firewall 0.5

2019-04-08 Thread Thomas Leonard
On Sunday, April 7, 2019 at 9:23:13 PM UTC+1, 799 wrote: > Hello Thomas, > > > > Thomas Leonard schrieb am Do., 4. Apr. 2019, 12:27: > I'd like to announce the release of qubes-mirage-firewall 0.5: > > https://github.com/mirage/qubes-mirage-fi

Re: [qubes-users] Re: qubes-mirage-firewall 0.5

2019-04-07 Thread Thomas Leonard
On Sunday, April 7, 2019 at 6:06:13 AM UTC+1, haaber wrote: > Hey Thomas, > > I are right, it that was definitely better to put the FAQ on the site > (and this list). I did set up a standalone debian-10 to build, and the > process went through smoothly. Thank you. The 'but' comes now: BUT, in >

[qubes-users] Re: qubes-mirage-firewall 0.5

2019-04-06 Thread Thomas Leonard
I got a few emails about this. I'm going to answer the questions here because this is a community project and everyone should see the discussion. Q: The build-with-docker script hard-codes /home/opam. What if your user has a different name? The Docker build creates a virtual environment based

[qubes-users] qubes-mirage-firewall 0.5

2019-04-04 Thread Thomas Leonard
I'd like to announce the release of qubes-mirage-firewall 0.5: https://github.com/mirage/qubes-mirage-firewall/releases/tag/v0.5 This is a unikernel that can run as a QubesOS ProxyVM, replacing sys-firewall. It may be useful if you want something smaller or faster-to-start than the

Re: [qubes-users] qubes-mirage-firewall 0.4

2017-12-21 Thread Thomas Leonard
[ replying to list ] On 21 December 2017 at 11:25, donoban <dono...@riseup.net> wrote: > On 12/21/2017 11:13 AM, Thomas Leonard wrote: >> On Wednesday, December 20, 2017 at 9:05:08 PM UTC, donoban wrote: >>> On 12/19/2017 08:05 PM, Thomas Leonard wrote: >>>&

Re: [qubes-users] qubes-mirage-firewall 0.4

2017-12-21 Thread Thomas Leonard
On Wednesday, December 20, 2017 at 9:05:08 PM UTC, donoban wrote: > On 12/19/2017 08:05 PM, Thomas Leonard wrote: > > I'd like to announce the release of qubes-mirage-firewall 0.4: > > > > https://github.com/talex5/qubes-mirage-firewall/releases/tag/v0.4 > > >

[qubes-users] qubes-mirage-firewall 0.4

2017-12-19 Thread Thomas Leonard
I'd like to announce the release of qubes-mirage-firewall 0.4: https://github.com/talex5/qubes-mirage-firewall/releases/tag/v0.4 This is a unikernel that can run as a QubesOS ProxyVM, replacing sys-firewall. It may be useful if you want something smaller or faster-to-start than the

Re: [qubes-users] Re: Question to Mirage OS firewall users

2017-11-11 Thread Thomas Leonard
On Thursday, November 9, 2017 at 4:18:13 AM UTC, Jean-Philippe Ouellet wrote: > On Wed, Nov 8, 2017 at 3:09 PM, Thomas Leonard wrote: > > On Thursday, April 13, 2017 at 1:33:53 PM UTC+1, Thomas Leonard wrote: > >> On Thursday, April 13, 2017 at 11:08:11 AM UTC+1, F

[qubes-users] Re: Question to Mirage OS firewall users

2017-04-13 Thread Thomas Leonard
On Wednesday, April 12, 2017 at 10:32:11 PM UTC+1, Foppe de Haan wrote: > Any clue why Windows 7 won't boot when I have MirageOS selected as the > firewall? I've never tried it. Do the mirage-firewall logs show anything interesting when you try to boot Windows? -- You received this message

[qubes-users] Re: Question to Mirage OS firewall users

2017-03-27 Thread Thomas Leonard
On Sunday, March 19, 2017 at 10:11:04 AM UTC, Foppe de Haan wrote: > Stable so far. (Current uptime 12h, it crashed well before that when it > wasn't.) Thanks for testing! I've made a new release of that version now (identical binary):

[qubes-users] Re: Question to Mirage OS firewall users

2017-03-18 Thread Thomas Leonard
On Friday, February 24, 2017 at 1:16:55 PM UTC, Foppe de Haan wrote: > On Tuesday, February 7, 2017 at 6:22:53 PM UTC+1, Thomas Leonard wrote: > > On Tuesday, February 7, 2017 at 4:51:06 PM UTC, Foppe de Haan wrote: > > > On Tuesday, February 7, 2017 at 5:24:58 PM UTC+1, Th

Re: [qubes-users] Re: Question to Mirage OS firewall users

2017-02-19 Thread Thomas Leonard
On Wednesday, February 8, 2017 at 4:59:16 PM UTC, Jean-Philippe Ouellet wrote: > On Sat, Jan 28, 2017 at 9:13 AM, Thomas Leonard wrote: > > I'm not sure why my DispVM is Fedora 23 when my default template is Fedora > > 24, but anyway... > > If fedora24 is indeed your

[qubes-users] Re: Question to Mirage OS firewall users

2017-02-09 Thread Thomas Leonard
On Tuesday, February 7, 2017 at 5:31:25 PM UTC, Foppe de Haan wrote: > On Tuesday, February 7, 2017 at 6:22:53 PM UTC+1, Thomas Leonard wrote: > > On Tuesday, February 7, 2017 at 4:51:06 PM UTC, Foppe de Haan wrote: > > > On Tuesday, February 7, 2017 at 5:24:58 PM UTC+1, Th

[qubes-users] Re: Question to Mirage OS firewall users

2017-02-07 Thread Thomas Leonard
On Tuesday, February 7, 2017 at 4:51:06 PM UTC, Foppe de Haan wrote: > On Tuesday, February 7, 2017 at 5:24:58 PM UTC+1, Thomas Leonard wrote: > > On Tuesday, February 7, 2017 at 3:55:30 PM UTC, Foppe de Haan wrote: > > > Anyone else tried to use MirageOS i.c.w. a torrent clie

[qubes-users] Re: Question to Mirage OS firewall users

2017-02-07 Thread Thomas Leonard
On Tuesday, February 7, 2017 at 3:55:30 PM UTC, Foppe de Haan wrote: > Anyone else tried to use MirageOS i.c.w. a torrent client? I've allocated > 60mb ram, but it crashes within 2-8 hours here, which is kind of > disappointing. Do the logs show an out-of-memory error when that happens? I

[qubes-users] Re: Question to Mirage OS firewall users

2017-01-28 Thread Thomas Leonard
On Saturday, December 10, 2016 at 5:36:29 PM UTC, Reg Tiangha wrote: > On Saturday, December 10, 2016 at 6:03:17 AM UTC-7, jkitt wrote: > > What's it like to update - is it relatively simple? Would you say it's more > > secure than Debian or Fedora? > > It's easy. Shut down your Mirage OS

[qubes-users] Re: Question to Mirage OS firewall users

2017-01-28 Thread Thomas Leonard
On Thursday, January 19, 2017 at 12:07:17 AM UTC, Reg Tiangha wrote: > On 2017-01-18 7:30 AM, Антон Чехов wrote: > > Hi! > > > > Is anyone using the mirage firewall in connection with a proxyVM? How do > > you configure it properly? Does it handle qubes-firewall-users-scripts? > > > > I've run