#ifndef OSREBOOT_H
#define OSREBOOT_H

#include "dolphin/types.h"

#endif /* OSREBOOT_H */