Packages from the vendor ibca

ibca/mudu
ibca/vhall