/*
 *  This Task is a memory protection example
 *
 *
 *
 */

#include <deblin/vhal.h>
#include <time.h>
#include <pthread.h>
#include <rtl_ipc.h>
#include <semaphore.h>
#include <rtl_barrier.h>
#include <rtl_printf.h>
#include <rtl_conf.h>
#include <unistd.h>


static unsigned long valor9=0x0;

pthread_t thread9;

extern unsigned long mprot_prueba;

void *task9(void *arg)
{

  while(1)
  {
    rtl_printf("Valor %d\n",valor9);
              //Access to a kernel variable
    mprot_prueba = 10;
  };
  
  return 0;
};