1/* SPDX-License-Identifier: GPL-2.0-only or License-Ref-kk-custom */
2// vi:set ft=cpp: -*- Mode: C++ -*-
3/*
4 * Copyright (C) 2020 Kernkonzept GmbH.
5 * Author(s): Frank Mehnert <frank.mehnert@kernkonzept.com>
6 *
7 */
8#pragma once
9
10#include <exception>
11#include <initializer_list>
12
13namespace std { namespace L4 {
14
15void terminate_handler();
16
17namespace {
18
19static const auto install_terminate_handler
20{
21  std::set_terminate(&terminate_handler)
22};
23
24} } }
25