#include <cstdint>
#include <boost/context/all.hpp>
#include "xbt/log.h"
#include "smx_private.h"
#include "internal_config.h"
Userspace context switching implementation based on Boost.Context