See discussion at https://github.com/mirage/mirage/pull/643 . Currently, the value is a string which some implementations then attempt to interpret as a number, which can be a runtime exception (see https://github.com/mirage/mirage-net-xen/blob/master/lib/frontend.ml#L238 ).
See discussion at #643 . Currently, the value is a string which some implementations then attempt to interpret as a number, which can be a runtime exception (see https://github.com/mirage/mirage-net-xen/blob/master/lib/frontend.ml#L238 ).