/* SPDX-License-Identifier: GPL-2.0-only or License-Ref-kk-custom */
// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * Copyright (C) 2020 Kernkonzept GmbH.
 * Author(s): Frank Mehnert <frank.mehnert@kernkonzept.com>
 *
 */
#pragma once

#include <exception>
#include <initializer_list>

namespace std { namespace L4 {

void terminate_handler();

namespace {

static const auto install_terminate_handler
{
  std::set_terminate(&terminate_handler)
};

} } }