FreeBSD/ARM and FDT cleanup - status report #11

[Jakub Klama]

Hi,

It's eleventh status report for project aimed to clean up
current FreeBSD/ARM port and FDT implementation.

Things done this week:
* Fixed pl310 controller mappings. This involved adding
   new pmap_kenter_device() routine in pmap, which inserts
   mapping using PTE_DEVICE mapping type, available on armv6.
* Added support for high/low vector addresses in arm_mmu_init()
* Added initial support for sending IPIs though pic_if.m interface.
   Refactored omap4_mp code accordingly.
* Cleaned up ti_machdep.c file by removing now unused parts.
* Removed need for passing trapframes though whole interrupt
   routing path. Trapframe is now properly stored in executing
   thread.
* Added support for interrupt occurence counting and removing
   interrupt handlers.

Plans for next week:
   It will be clear tomorrow, after talk with mentor :)

Regards,
Jakub Klama