Git-Mirrors/qubes-mirage-firewall
1
0
Fork 0
mirror of https://github.com/mirage/qubes-mirage-firewall.git synced 2024-06-26 14:12:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • ddfb17c0b2 remove unused integer module, intset, intmap Hannes Mehnert 2022-11-11 11:35:37 +0100
  • 33c7c24dfd code cleanups (removed profile release from dune-workspace to find some warnings) Hannes Mehnert 2022-11-11 11:11:38 +0100
  • ecc5cbc409 fix github action Hannes Mehnert 2022-11-11 14:32:31 +0100
  • af60225671 github action: something sets OPAMCLI to 2.0, so no --confirm-level=yes available Hannes Mehnert 2022-11-11 13:58:46 +0100
  • 7370ba85f6 github action should be in .github/workflows Hannes Mehnert 2022-11-11 13:46:29 +0100
  • f7dc9fb418 remove unused integer module, intset, intmap Hannes Mehnert 2022-11-11 11:35:37 +0100
  • bc1c265b50 code cleanups (removed profile release from dune-workspace to find some warnings) Hannes Mehnert 2022-11-11 11:11:38 +0100
  • bed0aa5cc4 add github action to compile the firewall Hannes Mehnert 2022-11-11 13:40:04 +0100
  • 751c454dbe DNS: start task reading Lwt_mvar and distributing DNS replies to clients Hannes Mehnert 2022-11-11 12:07:06 +0100
  • f127ab6616 use a fresh client for requesting vif and ip Hannes Mehnert 2022-11-10 23:08:21 +0100
  • d0733da725 My_nat.free_udp_port: avoid looping forever, use last_resort_port earlier Hannes Mehnert 2022-11-08 18:57:09 +0100
  • b09acdeec2
         Merge pull request #154 from hannesm/dns-6.4.0 Hannes Mehnert 2022-10-27 15:05:39 +0200
  • 2afa24536d update to dns 6.4.0 Hannes Mehnert 2022-10-27 11:24:59 +0200
  • 07da67c8cf changes for 0.8.2 v0.8.2 Hannes Mehnert 2022-10-12 09:09:03 +0200
  • 065c8bb69a
         Merge pull request #152 from hannesm/next-release Hannes Mehnert 2022-10-12 09:05:55 +0200
  • b958c10690 build-with-docker: update sha Hannes Mehnert 2022-10-11 13:55:36 +0200
  • c66d6a8727 raise lower bound of mirage-nat to 3.0.0, bump opam-repo commit Hannes Mehnert 2022-10-11 13:34:55 +0200
  • 93b92c041b Adapt to mirage-nat changes: allow pick_free_port to fail reserve a special udp port for dns (as last resort) Hannes Mehnert 2022-10-08 10:50:29 +0200
  • f2d3faf1da revise port management Hannes Mehnert 2022-10-07 20:54:49 +0200
  • 8187096bfa updates to recent mirage-nat changes Hannes Mehnert 2022-10-07 18:49:03 +0200
  • 06b9a88331 remove unneeded logs: be silent if the GC is enough palainp 2022-10-09 12:38:44 +0200
  • eb4d0fc371 update documentation palainp 2022-10-06 18:06:18 +0200
  • abb508000e remove memory management code not needed anymore palainp 2022-10-06 18:06:02 +0200
  • adbbd4e3a5 remove unneeded logs: be silent if the GC is enough palainp 2022-10-09 12:38:44 +0200
  • dd977a068a Adapt to mirage-nat changes: allow pick_free_port to fail reserve a special udp port for dns (as last resort) Hannes Mehnert 2022-10-08 10:50:29 +0200
  • 1aa3f7c883 revert default to 5000 nat entries palainp 2022-10-08 10:37:38 +0200
  • 90829920ae revise port management Hannes Mehnert 2022-10-07 20:54:49 +0200
  • 23f691ac23 updates to recent mirage-nat changes Hannes Mehnert 2022-10-07 18:49:03 +0200
  • 3957b47a62 update hash for docker build palainp 2022-10-06 18:06:31 +0200
  • 1c5442a958 update documentation palainp 2022-10-06 18:06:18 +0200
  • f1315389ed remove memory management code not needed anymore palainp 2022-10-06 18:06:02 +0200
  • 721f552a3c CHANGES for 0.8.1 v0.8.1 Hannes Mehnert 2022-09-14 11:10:23 +0200
  • 47562749b2
         Merge pull request #149 from hannesm/next Hannes Mehnert 2022-09-14 10:57:49 +0200
  • 6521b1474c update sha256 Hannes Mehnert 2022-09-14 10:18:11 +0200
  • 9b1b30aa2b trigger the GC earlier (at < 50% free space) print memory usage every 10 minutes palainp 2022-09-05 10:01:15 +0200
  • c643f97700 in rules, instead of hardcoding IPv4 addresses of name servers, use those present in QubesDB Hannes Mehnert 2022-09-07 16:53:45 +0200
  • 5fdcaae7e8 firewall rule: remove DNS rule (was only needed in Qubes 3) Hannes Mehnert 2022-08-30 16:47:27 +0200
  • 050c4706e3 remove gui code, not needed anymore in Qubes 4.1 palainp 2022-09-02 14:27:43 +0200
  • 29ddbea03d update opam repository to mirage-qubes 0.9.3 release Hannes Mehnert 2022-09-14 09:42:35 +0200
  • 06a415bd68 update sha256 for docker build palainp 2022-09-13 17:54:06 +0200
  • 8fccf440d8
         Merge branch 'mirage:master' into test-memory Pierre Alain 2022-09-12 14:01:46 +0200
  • 2af63f1f45
         Merge pull request #145 from hannesm/cleanup Hannes Mehnert 2022-09-07 16:59:45 +0200
  • 1c89bf2907 in rules, instead of hardcoding IPv4 addresses of name servers, use those present in QubesDB Hannes Mehnert 2022-09-07 16:53:45 +0200
  • 147fe18e74 travis is no longer online Hannes Mehnert 2022-09-07 16:33:34 +0200
  • 699088bbde remove no longer needed _tags file Hannes Mehnert 2022-09-07 16:29:57 +0200
  • 9677d22699 print memory usage every 10 minutes + trigger GC less often palainp 2022-09-05 11:11:59 +0200
  • 698227a990 trigger the GC earlier palainp 2022-09-05 10:01:15 +0200
  • 6c040c654c remove gui code, not needed anymore in Qubes 4.1 palainp 2022-09-02 14:27:43 +0200
  • b0205f7dab changes for 0.8.0 v0.8.0 Hannes Mehnert 2022-08-31 11:39:31 +0200
  • 91c0e76097 firewall rule: remove DNS rule (was only needed in Qubes 3) Hannes Mehnert 2022-08-30 16:47:27 +0200
  • 61767ef0d5
         Merge pull request #140 from palainp/mirage4 Hannes Mehnert 2022-08-30 16:29:10 +0200
  • df4f7bf811 update to mirage 4.2.1 palainp 2022-08-29 11:31:44 +0200
  • deac2f6c8a
         Merge pull request #141 from palainp/drop-pv Hannes Mehnert 2022-08-19 16:49:46 +0200
  • 008b5b3b2f drop PV from README.md for recent versions of qubes-mirage-firewall palainp 2022-08-13 16:59:09 +0200
  • ba1b04432d must make depend before building solo5 with make tar palainp 2022-08-11 13:17:44 +0200
  • e73c160cd4 update docker build for mirage 4.2 palainp 2022-08-09 14:16:16 +0200
  • 68ab4f37c1 use the new quick_stat+trim from mirage-xen 8.0.0 palainp 2022-07-27 14:26:58 +0200
  • 7718c95f20 no_argv not needed anymore with no-default-kernelopts for the VM in Qubes palainp 2022-05-27 15:59:49 +0200
  • f33db2b42a fix kernel name palainp 2022-04-04 10:23:54 -0400
  • 6f257c5b7b fix opam option palainp 2022-04-04 10:10:43 -0400
  • dbe068c0fe update qubes-builder script for mirage 4.0 palainp 2022-04-04 10:09:16 -0400
  • 3cce2a5629 bump lower bound for mirage-xen palainp 2022-03-30 03:15:11 -0400
  • a99d7f8792 update to mirage 4.0.0 & mirage-xen 7.0.0 palainp 2022-03-30 03:12:01 -0400
  • ef2419bf6f
         Merge pull request #137 from hannesm/ethernet-3.0 Hannes Mehnert 2022-01-09 13:37:32 +0100
  • ed0f7667e4 update to ethernet 3.0 API Hannes Mehnert 2022-01-09 12:36:35 +0100
  • 1d0aaf2666
         Merge pull request #136 from hannesm/fixes Hannes Mehnert 2021-11-12 12:29:21 +0100
  • d36676a630 update hash Hannes Mehnert 2021-11-11 10:19:29 +0100
  • 748f803ca0 update to dns 6.1.0 Hannes Mehnert 2021-11-10 18:16:55 +0100
  • 07c2d456ea
         Merge pull request #135 from palainp/ocaml-dns-update Thomas Leonard 2021-11-10 14:53:07 +0000
  • 6e76ab299b update sha256 of build Hannes Mehnert 2021-11-10 15:31:36 +0100
  • c4f9142376 DNS: address code review comments, use qubes-primary-dns from QubesDB Hannes Mehnert 2021-11-10 15:26:17 +0100
  • 6835072104 build-with-docker: update hash Hannes Mehnert 2021-11-05 19:39:10 +0100
  • d4e365a499 avoid fmt and cstruct deprecation warnings Hannes Mehnert 2021-11-05 19:59:00 +0100
  • 7e3303a8d6 read DNS resolver IP addresses from QubesDB as specified in https://www.qubes-os.org/doc/vm-interface/ Hannes Mehnert 2021-11-05 19:53:39 +0100
  • 65ff2a9203 update arp to >= 2.3.0, where arp.mirage is a sublibrary Hannes Mehnert 2020-12-03 21:19:46 +0100
  • ba8dbc3f57 Dockerfile: update opam-repository to current master config.ml: require more recent dns and ipaddr packages Hannes Mehnert 2021-11-05 18:55:30 +0100
  • 4cb5cfa036 update to ocaml-dns 6.0.0 interface palainp 2021-10-28 13:39:32 +0200
  • 6080e6db30
         Merge pull request #129 from talex5/qrexecv3 Thomas Leonard 2020-12-31 15:20:58 +0000
  • a368b12648 Update to mirage-qubes 0.9.1 for qrexec3 compatibility Thomas Leonard 2020-12-03 16:11:56 +0000
  • b6544b4cb2
         Update README.md dalrrard 2020-11-12 13:10:09 -0600
  • 2ba2bbf4a7 Report memory usage every 10 minutes Thomas Leonard 2020-10-29 10:19:43 +0000
  • cfe122592d
         Merge pull request #118 from xaki23/master Thomas Leonard 2020-10-28 12:20:19 +0000
  • 26b5b59b56
         unpin mirage+lwt versions for qubes-builder xaki23 2020-10-28 13:14:16 +0100
  • 089f349a05
         Merge pull request #116 from talex5/solo5 Thomas Leonard 2020-10-28 12:11:00 +0000
  • d8ae7f749c Update README Thomas Leonard 2020-10-26 15:38:14 +0000
  • be7461a20a Switch Docker base image from Alpine to Fedora Thomas Leonard 2020-10-26 15:19:30 +0000
  • 3dbb9ecb27 BROKEN: Upgrade to Mirage 6 for solo5 PVH support Thomas Leonard 2020-08-19 14:09:01 +0100
  • 997446af6c
         Merge pull request #117 from hannesm/kernelopts Thomas Leonard 2020-10-24 13:38:46 +0100
  • c173bf1cb0 README: use kernelopts='' instead of None Hannes Mehnert 2020-10-24 12:43:08 +0200
  • 006801c03e
         Merge pull request #112 from roburio/mirage38 Thomas Leonard 2020-07-04 13:39:13 +0100
  • aebaa2cafc update sha256 from travis run Hannes Mehnert 2020-07-03 16:55:38 +0200
  • de0eb9d970 adapt to mirage 3.8.0 changes (ipaddr5, tcpip5); bump opam-repository hash (to get netchannel+mirage-net-xen 0.13.1) Hannes Mehnert 2020-07-03 16:39:06 +0200
  • 094637b2de
         Merge pull request #110 from burghardt/dom0tar Thomas Leonard 2020-06-20 10:59:43 +0100
  • f9842e8b18
         Do not run tar in dom0 (closes #84). Krzysztof Burghardt 2020-06-20 01:16:29 +0200
  • 931987190d share host system opam cache with docker build linse 2020-06-19 09:48:16 +0000
  • 3ee01b5243 changes for 0.7.1 0.7.1 linse 2020-06-19 08:56:33 +0000
  • 620bbb5b35 update opam repository commit hash for release Hannes Mehnert 2020-06-19 08:24:18 +0000
  • 6dc7de26e3
         Merge pull request #103 from roburio/xenstore-client-ip Hannes Mehnert 2020-06-18 10:35:06 +0200
  • b5ec221e2a Handle other IP formats from xenstore. Example: "10.137.0.18 fd09:24ef:3178::a19:11" reported via https://twitter.com/t_grote/status/1262747002334408704 linse 2020-05-19 17:47:40 +0200
  • 60ebd61b72 Update documentation. linse 2020-05-19 16:48:48 +0200