hkd-dev bootstrap