/ports/cc3200/util/