initial commit
initial cleanup
cleanup
more cleanup
virtLayerCPU part
fastcall to ensure equal calling conventions; extended memory descriptions in model.aadl
remove and ignore *.o,.lo
Merge branch 'master' of https://github.com/phipse/pok
libpart build with libpok target
Merge branch 'master' of https://github.com/phipse/pok
cleanup gen code
cleanup2
Interrupt handling changed

* Each PIC IRQ Line got a prologue passing the vector number on to a general
  _ISR_handler, which in turn calls the registered handler.
* Meta handler introduced for each vector number, keeping track of registered
  handler - one per partition.
* Initialization of the meta_handler_table added to arch init function
hardware interrupts can be registered by writing a handler and registering it with the bsp now. the _ISR_Handler function works correctly now.
Circumvented POK_NEEDS_GETTICK, as I cannot figure out when it is defined and need the clocktick in the partition
cleanup of unnecessary instructions
New syscall introduced to register HW IRQ handler from user space; _C_isr_handler is acknowledging the interrupts from now on; the kernel handler register in the handler_table after all partition handlers; kernel handler are tested for on every interrupt;
added #ifdef i386 guard around the HW IRQ register syscall, as it is not defined for ppc and sparc
pok_pit_eoi is now done by the _C_isr_handler
 irq is acknowledged by _C_isr_handler, before the first handler is invoked; This is necessary as the first context switch, due to the kernel tick handler, will move the execution away from the _C_isr_handler and never return.