/**
 * @brief Print the number of available processors.
 *
 * @copyright
 * This file is part of ToaruOS and is released under the terms
 * of the NCSA / University of Illinois License - see LICENSE.md
 * Copyright (C) 2018 K. Lange
 */
#include <stdio.h>
#include <sys/sysfunc.h>

int main(int argc, char * argv[]) {
	printf("%d\n", sysfunc(TOARU_SYS_FUNC_NPROC, NULL));
	return 0;
}