Thomas Leonard
b4079ac861
Update to new mirage-nat API
2017-03-05 17:04:05 +00:00
Thomas Leonard
bb78a726e4
Mirage 3 support
2017-03-04 17:22:58 +00:00
Thomas Leonard
0230cfaf1e
Updates for mirage 2.9.0
...
- Unpin bootvar and use register ~argv:no_argv` instead.
- Use new name for uplink device ("0", not "tap0").
- Don't configure logging - mirage does that for us now.
2016-05-14 10:44:57 +01:00
Thomas Leonard
1134b64f5e
Remove tcpip pin
...
The 2.7.0 release has the checksum feature we need.
2016-03-23 14:53:01 +00:00
Thomas Leonard
74ae5b6078
Remove mirage-xen pin
...
mirage-xen 2.4.0 has been released with the required features.
(also fixes indentation problem reported by @cfcs in #6 )
2016-03-19 20:14:23 +00:00
Thomas Leonard
08bc6e2b00
Add work-around for Qubes passing Linux kernel arguments
...
With the new Functoria release of Mirage, these unrecognised arguments
prevented the unikernel from booting.
See: https://github.com/mirage/mirage/issues/493
2016-03-01 09:41:43 +00:00
Thomas Leonard
cd917bab7f
Fix travis
2016-02-23 11:48:13 +00:00
Thomas Leonard
70d7fe5d1b
Remove mirage-logs pin
...
Now available from the main repository.
2016-02-19 09:47:44 +00:00
Thomas Leonard
26adeee1da
Remove mirage-qubes pin
...
mirage-qubes 0.2 has been released, and supports the latests Logs API.
2016-01-20 12:02:36 +00:00
Thomas Leonard
987834f6a6
Use mirage-logs library for log reporter
...
Also, configure Xen debug messages to go to the log ring buffer but not
the console (they will be shown only if an error occurs).
2016-01-11 16:40:26 +00:00
Thomas Leonard
4ddb80cd9d
Remove mirage-net-xen pin
...
Version 1.5 has now been released, and includes netback support.
2016-01-11 12:00:57 +00:00
Thomas Leonard
e05a92da50
Update to new Logs API
...
Note: this reintroduces mirage-qubes pin, as that uses Logs too.
2016-01-08 11:40:11 +00:00
Thomas Leonard
54ad568612
Remove pin for mirage-clock-xen
...
New version has been released now.
2016-01-05 18:37:32 +00:00
Thomas Leonard
7e68eebbc8
Remove mirage-qubes pin; it's released now
2016-01-05 13:49:16 +00:00
Thomas Leonard
914b6bbbf6
Initial import
2015-12-30 11:07:17 +00:00
