user/hosted-smoke/init.c

/*
 * Copyright (c) 2026, Pedigree Developers
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted.
 */
 
#include <errno.h>
 
#include <pedigree/log.h>
#include <sys/reboot.h>
 
int main(void) {
  pedigree_log(LOG_INFO, "HOSTED-SMOKE: init launched");
 
  if (reboot(0) != 0) {
    pedigree_log(LOG_ERR, "HOSTED-SMOKE: shutdown request failed: %d", errno);
    return 1;
  }
 
  return 0;
}