/*
 *  Autor : Sebastien Levieux
 *  Date : 12/12/2024
 */

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

#define CONFIGURE_MP_NODE_NUMBER 1

#include "system.h"

#include <inttypes.h>


void main(void)
{
  char               task_num;

  uint32_t           cpu_self;
  uint32_t           cpu_nb;

  rtems_id           task_id;
  rtems_status_code  task_status;
  rtems_name         task_name;

  bool               allDone;


  //intialize the semaphore to make locked_printf
  //locked_print_initialize();

  cpu_self = rtems_scheduler_get_processor();
  printf("\n**The master task running on CPU%d**\n", cpu_self);
  
  cpu_nb = rtems_scheduler_get_processor_maximum();
  printf("**%d CPU available in this configuration**\n", cpu_nb);


  while(1);
  exit(0);
}