mirage / mirage-qubes

Mirage support for writing QubesOS AppVM unikernels
BSD 2-Clause "Simplified" License
62 stars 11 forks source link

Include a sublibrary, Qubesdb_ipv4, which builds an ipv4 from a Qubes.DB #2

Closed yomimono closed 7 years ago

yomimono commented 7 years ago

Qubesdb_ipv4 is intended for use with the mirage frontend tool as a replacement for static or dynamic IPv4 configuration. As QubesOS doesn't provide a DHCP server for VMs and doesn't surface IP configuration information before the VM exists, a nice interface for statically configuring the interface with the information looked up from QubesDB is required for MirageOS unikernels to be good network citizens on QubesOS.

This module just wraps the Static_ipv4 module from tcpip to build an ipv4 with the supplied parameters from QubesDB. It makes no attempt to monitor the database for changes or sync the unikernel's IP configuration with them.

yomimono commented 7 years ago

I guess we should wait to merge this until Mirage 3 is out, right?

If you want master to be buildable with the current stuff in opam-repository, yes. For testing integration, we can just as easily build against another branch -- just let me know what you'd prefer.

talex5 commented 7 years ago

Yeah, let's keep it on a branch for now then.

yomimono commented 7 years ago

I can change the requested target branch of a PR, but apparently I can't request that a PR be merged to an entirely new branch. It's up to you, mirage-qubes-owner!

talex5 commented 7 years ago

OK, we have an ipv4 branch now.

yomimono commented 7 years ago

Thanks very much! I'll close this out, then.