INTERFACE:

#include "types.h"

//------------------------------------------------------------------------------
IMPLEMENTATION:

#include "mem_layout.h"
#include "kernel_task.h"
#include "mem_space.h"
IMPLEMENT static
void
Sys_call_page::init()
{
  printf("%s fixme\n", __func__);
}
