[andreiw]

The IFS kit was a separate purchase from the DDK, even. There's a pieced-together header floating around on the web (as well as some OSS drivers for things like ext2)...