/*
 * SystemCalls.cpp
 *
 *  Created on: 19 авг. 2020 г.
 *      Author: LeonidTitov
 */

#include "SystemCalls.hh"

void ( * peripheral::reboot)() = nullptr;