--- /dev/null
+exception ParseError of string;;
+type t = { dev_addr : string; name : string };;
+type kernel_version = string;;
+val known : kernel_version -> bool;;
+val size : kernel_version -> int;;
+val get : kernel_version -> Bitstring.bitstring -> t;;