Summary: We set down some basic facts about the algebraic and topological $K$-theory of log-schemes. In particular, we show that the l-adic topological log-étale $K$-theory of log-regular schemes computes the l-adic étale $K$-theory of the largest open sets where the log-structure is trivial.
