JOEL4: removed debug messages

At the same time, fixed the tabbing.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: added cloc target

Can now use cloc to count the number of lines of code in the kernel.
There is little chance of me remembering all of the correct options
to all of the command line tools required in this (and my other)
project(s), therefore I made it a 'make' target.
This of course requires the cloc tool to be installed.

Signed-off-by: Joel Nider <joel@nider.org>
Added a 'clean' target

Now able to delete all of the output files and rebuild everything from
scratch when needed. Helps when changing compilers, etc.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: added location for kernel interface page

As part of the effort to become more L4 compliant, space has been
reserved in the address space of the user apps for the KIP.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: added unique include header for root_task.h

Don't know why this was missing. Now the file can only be included
once.  Also redefined uint32, although I'm not sure this was necessary.
It used to be defined in l4.h but will soon be removed.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: using proper define name for version number

The symbol for the version number has been changed since the name of
the kernel changed.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: add cloc as a tool

This should have been part of a previous commit, but I missed it.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: started the move to the X.2 v6 interface

Originally I was trying to use the seL4 interface, but found that it is
not easy to use or understand. Specifically, thread creation was a feature
that I didn't understand. The X.2 interface seems to be much easier to
grasp, and it is also better documented (which certainly helps).

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: removed unneeded lines

Some blank lines and commented junk removed.

Signed-off-by: Joel Nider <joel@nider.org>