The short answer to your question is yes. There is such a space, that of the locally smooth functions on $K$. Schwartz defined the space of distributions with support in $K$ not directly by duality but by defining the space of distributions, then the notion of restriction of a distribution to an open set and finally the support of a distribution as the complement of the union of the open sets on which it vanishes. In parallel he defined the space of distributions of compact support as the dual of $C^\infty$. It is then a theorem that the two concepts coincide. The answer to your question is rather more subtle. This can be seen in the simplest case, i.e., where $K$ is the origin in the real line. The space of distributions with support there is infinite dimensional--it consists of the linear combinations of the Dirac distribution and its derivatives. This can obviously not be the dual of a space of functions defined on a single point. It is, however, the dual of the space of germs of smooth functions at the origin. This is defined as the union of the spaces $C^\infty(]-\epsilon,\epsilon[)$ over positive $\epsilon$. As the parameter decreases to zero, these form an increasing system of Frechet spaces and can be given a lcs structure in the standard way as an inductive limit, i.e., provided with the finest such structure for which the corresponding injections are continuous. The dual of this space is then the space of distributions with support at the origin. This can be extended to the general situation in the natural way. For a given compactum $K$ one consider the family $C^\infty(U)$ indexed by the open neighbourhoods of $K$. This forms an inductive system and its inductive limit as above is the space of functions which are locally smooth on $K$. Once again, its dual is the space of distributions with support in $K$. There is, however, a catch (and this is probably the reason why this approach is never used). The above lcs structure on the space of locally smooth functions is not Hausdorff. This is due to the fact that there as non-zero smooth functions on the line which vanish on a neighbourhood of the origin. The situation is analogue to the case of the Banach space of integrable functions. There are two ways out of the dilemma--one can live with the lack of a separation property or one can quotient out the disturbing functions and work with equivalence classes of functions, rather than with functions.