/*
 * SystemCalls.cpp
 *
 *  Created on: 19 рту. 2020 у.
 *      Author: LeonidTitov
 */

#include "SystemCalls.hh"

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