$ sudo xl create tls-client.xl -c
Parsing config from tls-client.xl
Xen Minimal OS!
Initialising timer interface
Initialising console ... done.
getenv(OCAMLRUNPARAM) -> null
getenv(CAMLRUNPARAM) -> null
getenv(PATH) -> null
Unsupported function lseek called in Mini-OS kernel
Unsupported function lseek called in Mini-OS kernel
Unsupported function lseek called in Mini-OS kernel
getenv(OCAMLRUNPARAM) -> null
getenv(CAMLRUNPARAM) -> null
getenv(TMPDIR) -> null
getenv(TEMP) -> null
Netif: add resume hook
Netif.connect 0
Netfront.create: id=0 domid=0
MAC: 00:16:3e:7a:23:15
Attempt to open(/dev/urandom)!
Unsupported function getpid called in Mini-OS kernel
Unsupported function getppid called in Mini-OS kernel
Manager: connect
Manager: configuring
DHCP: start discovery

Sending DHCP broadcast (length 552)
 sg:true gso_tcpv4:true rx_copy:true rx_flip:false smart_poll:false
ARP: transmitting probe -> 192.168.3.1
DHCP response:
input ciaddr 0.0.0.0 yiaddr 192.168.3.7
siaddr 192.168.3.1 giaddr 0.0.0.0
chaddr 00163e7a231500000000000000000000 sname  file
DHCP: offer received: 192.168.3.7
DHCP options: Offer : DNS servers(192.168.3.1), Routers(192.168.3.1), Broadcast(192.168.3.255), Subnet mask(255.255.255.0), Unknown(59[4]), Unknown(58[4]), Lease time(600), Server identifer(192.168.3.1)
Sending DHCP broadcast (length 552)
ARP: updating 192.168.3.1 -> 00:90:f5:e5:7c:68
DHCP response:
input ciaddr 0.0.0.0 yiaddr 192.168.3.7
siaddr 192.168.3.1 giaddr 0.0.0.0
chaddr 00163e7a231500000000000000000000 sname  file
DHCP: offer received
                    IPv4: 192.168.3.7
                                     Netmask: 255.255.255.0
                                                           Gateways: [192.168.3.1]
ARP: sending gratuitous from 192.168.3.7
DHCP offer received and bound to 192.168.3.7 nm 255.255.255.0 gw [192.168.3.1]
Manager: configuration done
Attempt to open(/dev/urandom)!
Unsupported function getpid called in Mini-OS kernel
Unsupported function getppid called in Mini-OS kernel