Use usr/bin/env for all python bangpaths to enable virtualenv use.

Very useful with python3 as the default platform.
ARM-HYP: Flush by kernel MVA rather than user MVA since the hypervisor does not share an AS with user space
arm: Perform additional cache clean to prevent TLB walker loading garbage entries for first user process
Remove last bits of unsupported integratorcp platform.

Suggested by @jserv on https://github.com/seL4/seL4/issues/1
Fix IFC6410 build

The IFC6410 has too many devices to fit into the bootinfo page.
What is more, some are aligned on half-page boundaries.

Exclude devices on half-page boundaries from the bootinfo device list.
people who contributed to code, design, and docs

(state before release on 29 July 2014)
add Max's contribution
fix typo; add more links
add DOI
ia32: Move as much of the interrupt and syscall traps into C as possible
trivial: style
arm: FSR is 14 bits in newer arm versions, not 12
DONT_TRANSLATE more inline asm functions.

The c-parser can now parse these functions, but it does it by
discarding the inline ASM block, creating a misleading and likely
malformed function body. It is better to not translate these
with a DONT_TRANSLATE comment.

This change has been made for the current verification platform
only, and should probably be extended to any other verification
targets as necessary.
Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes
ioapic: refactored C code and first attempt at haskell spec
ioapic: trivial: modified definition of toBool
ioapic: reverted setIRQState change
ioapic: trivial: style
ioapic: fix haskell for new 14 bit FSR
Set default MAX_NUM_BOOTINFO_DEVICE_REGIONS to a value that will fit into the initial boot info frame