{
	"ip": {
		"Deferred": [
			"../ip/inferno.c",
			"../ip/ipmux.c",
			"../ip/rudp.c"
		],
		"SourceFiles": [
			"../ip/arp.c",
			"../ip/chandial.c",
			"../ip/devip.c",
			"../ip/ethermedium.c",
			"../ip/gre.c",
			"../ip/icmp6.c",
			"../ip/icmp.c",
			"../ip/ipaux.c",
			"../ip/ip.c",
			"../ip/ipifc.c",
			"../ip/iproute.c",
			"../ip/ipv6.c",
			"../ip/loopbackmedium.c",
			"../ip/netdevmedium.c",
			"../ip/netlog.c",
			"../ip/nullmedium.c",
			"../ip/pktmedium.c",
			"../ip/ptclbsum.c",
			"../ip/tcp.c",
			"../ip/udp.c"
		]
	}
}
