A lightweight C++ kernel designed to run a JavaScript or Dart VM