/* * \brief Mini C standard compatibility * \author Christian Helmuth * \date 2008-07-24 */ /* * Copyright (C) 2008-2012 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. */