hk-dsl