JOEL4: fixes to the make system

Another small step in the direction of prerequisite files - the main makefile
now includes from the correct path (objs).
Also make ctags build tag file recursively in the source tree (instead of
just the root src directory and include directory).
Rearranged variables in the tools fragment as to allow modifying the variables
based on flags after definition.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: SYSENTER method now supports 5 parameters

Each parameter is passed in a register. On the receiver side, the registers
are then pushed to the stack to become parameters in the handler function.
L4_KernelInterface and L4_DebugPrintChar have been tested, but only
L4_DebugPrintChar is complete.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: Added KIP mapping for root task

The kernel information page can now be retrieved in the root task by calling
the L4_KernelInterfacePage system call. The information is not yet complete,
but the mechanism is in place.

Removed the boot info hack which was causing problems when compiled with O1.
Apparently the stack looks different, and this hack was only correct for the
O0 stack frame.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: tried to fix the GDT reloading assembly code

Not very successfully - this should be looked at again.

Signed-off-by: Joel Nider <joel@nider.org>
JOEL4: expanding KIP definitions

Added boot module as part of the KIP.  Yet to be debugged.

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