//=======================================================================
// Copyright Baptiste Wicht 2013-2016.
// Distributed under the terms of the MIT License.
// (See accompanying file LICENSE or copy at
//  http://www.opensource.org/licenses/MIT)
//=======================================================================

#ifndef BOOT_32_HPP
#define BOOT_32_HPP

extern "C" {

void __attribute((noreturn)) pm_main();

} //end of exern "C"

#endif