harness: fix core ranges for memtest_multicore and retype_multi.
[barrelfish] / kernel /
2016-09-21 Simon GerberT284: Change flounder to use provided slots when in...
2016-09-02 David CockARMv7: Identify A5 on boot.
2016-09-01 David CockARMv7: A15/A17 FVPs. Don't quite work yet.
2016-09-01 David CockARMv7: Added coreboot for Zynq7000 - doesn't work yet.
2016-08-30 David CockARMv7: Removed unused dependences from CPU drivers.
2016-08-30 David CockARMv7: Set all mappings to inner-shareable.
2016-08-30 David CockMerge branch 'master' into arm_coreboot
2016-08-30 David CockARMv7: Manual coreboot works on Pandaboard
2016-08-29 David CockARMv7: Factored boot protocol out of plat_vexpress
2016-08-26 David CockARMv7: Add cpu_boot.S for A15
2016-08-26 David CockARMv7: Route IRQs to the CPU that enables them.
2016-08-26 David CockARM: Report number of SPIs correctly on boot.
2016-08-26 David CockARMv7: Use bytes, not bits for URPC frame.
2016-08-25 David CockARMv7: Clone CPU driver cmdline correctly.
2016-08-25 David CockARMv7: Include core ID in kernel messages.
2016-08-25 David CockARMv7: Always load SP via the GOT.
2016-08-24 David CockARMv7: Pass the correct boot record address to the...
2016-08-16 Simon GerberRemove CONFIG_NEWLIB #define and all uses
2016-08-15 Simon Gerberarmv7: kernel: monitor_delete_last: fix argument unmars...
2016-08-15 Simon GerberT243: Fix armv7 paging code and caps_retype() to proper...
2016-08-15 Simon GerberT243: capability types and kernel code now accurately...
2016-08-11 Simon GerberFix kernel struct dispatcher_shared_arm include in...
2016-08-10 Simon GerberT258: caps_lookup_slot: return SYS_ERR_CNODE_NOT_FOUND...
2016-08-05 David CockARMv7: Find and pass the GOT base to the APP core.
2016-08-05 Simon Gerberkernel: armv7: zynq7: add arm/debug.c to hake rule
2016-08-05 David CockARMv7: Coreboot makes it into the APP CPU driver.
2016-08-05 Simon Gerberarmv8: QEMU ARMv8 compiles
2016-08-05 Simon GerberT266: armv7: add kernel-side handlers for cnode resizing
2016-08-05 Simon GerberT274: armv8: update monitor invocations and cleanup...
2016-08-05 Simon GerberMerge branch 'caps_next'
2016-08-05 David CockARMv7: CPU driver relocations done.
2016-08-05 David CockARMv7: Boots again following coreboot rewrite.
2016-08-05 David CockARMv7: Changes to support coreboot on ARM
2016-08-05 Simon GerberT274: armv8: update cspace invocations
2016-08-05 Simon GerberT258: Delete GPT cspace functionality and rename new...
2016-08-02 Simon Gerberkernel: caps_delete_foreigns: check for copies in prede...
2016-08-02 Simon GerberT276: armv7: Add new monitor invocation for retypeabili...
2016-08-02 Simon GerberT276: Fix monitor revoke check to check for overlapping...
2016-08-02 David CockARMv7: Use TPIDRPRW to hold the kernel GOT base.
2016-08-02 David CockARMv7: Added arch-specific platform info.
2016-07-29 Lukas HumbelMerge branch 'master' into irq
2016-07-29 Simon GerberT273: armv7: Fix monitor invocations for capability...
2016-07-29 Simon GerberT274: Fix remote retype
2016-07-29 Lukas HumbelIRQ: Activate PCI interrupts
2016-07-29 Lukas HumbelIRQ: Kaluga start driver with IRQ caps.
2016-07-29 Lukas HumbelIRQ: use uint64_t everywhere for int numbers, renamed...
2016-07-29 Simon GerberT191: reduce verbosity in caps_retype()
2016-07-29 Simon Gerberkernel: x86,k1om: #define START_KERNEL_PHYS as alias...
2016-07-28 David CockZynq7: Added empty kaluga platform.
2016-07-28 David CockARMv7: Console now works on Pandabord and Zynq
2016-07-28 David CockARMv7: Rewrote serial drivers on ARM.
2016-07-27 Simon GerberT266: add test for resizing root cnode and fix minor...
2016-07-27 Simon GerberT266: Resizing root cnode enabled for libmm slot allocator
2016-07-26 Moritz Hoffmannkernel/armv8: Do not create iocap on ARMv8.
2016-07-26 Moritz Hoffmannkernel/armv8: Remove unused code. Create caps for gaps...
2016-07-26 Moritz Hoffmannkernel/armv8: Remove debug print.
2016-07-26 Moritz Hoffmannarmv8: Do not invalidate D and I cache on context switc...
2016-07-25 Simon GerberT273: armv7: monitor invocation handlers: rename bits...
2016-07-25 Simon GerberT273: x86_64: monitor invocation handlers: rename vbits...
2016-07-25 Simon GerberT273: fix monitor_retype and adjust arguments in direct...
2016-07-25 Simon GerberT258: x86: fix ipi_register_notification to use new...
2016-07-25 Simon GerberT258: fix sys_yield to use new capability lookup function
2016-07-25 Simon GerberT258: x86_64: change dispatcher_setup_guest, trace_setu...
2016-07-25 Simon GerberT273: x86_64: distributed capability operations updated...
2016-07-25 Simon GerberT272: armv7: implement two-level cspace layout
2016-07-25 Simon Gerberkernel: fix argument names in lmp_deliver()
2016-07-25 Simon Gerberkernel,x86_64: move handle_map to where it should be...
2016-07-25 David CockOMAP44xx: Bumped Pandaboard clock to 600MHz.
2016-07-22 Reto Achermannkernel: passing alloc_phys_aligned on 32-bit
2016-07-22 Reto Achermannkernel/kpi: using PRIuGENSIZE in print statements
2016-07-22 Simon GerberT258, T264, T270: Implement two-level cspace layout...
2016-07-22 Reto AchermannARMv8: Enabling access to counters from userspace.
2016-07-21 Reto AchermannARMv8: reading CBAR register correctly
2016-07-21 David CockMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-07-21 David CockARMv7: Place non-boot cores into WFE on entry
2016-07-21 Moritz Hoffmannkernel/armv8/tmas: Poor man's relocation of uart base...
2016-07-20 Moritz HoffmannFinish merge with current master.
2016-07-20 Moritz HoffmannMerge branch 'master' into tmas
2016-07-20 Reto Achermann[ARMv8] temporarly disable memory region coalescing...
2016-07-20 Reto Achermann[ARMv8] adding locations of the ACPI tables to bootinfo...
2016-07-20 Reto Achermann[ARMv8] adding defines for address space sizes in bits
2016-07-20 David CockARMv7: usbboot can now handle arbitrary entry points.
2016-07-20 David CockARMv7: Updated DS-5 FVP debug scripts.
2016-07-19 Reto Achermann[ARMv8] adding comments stating assumptions on state...
2016-07-19 Reto Achermann[ARMv8] make sure stack is relocated to high addresses
2016-07-19 Reto Achermann[ARMv8] adding functions to read and write current...
2016-07-19 Moritz Hoffmannkernel/aarch64: Replace rdtsc by dummy.
2016-07-18 David CockMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-07-18 David CockARMv7: Include boot driver section headers in boot...
2016-07-18 Reto Achermann[Kernel/ARMv8] making sure call to arch_init is in...
2016-07-18 Reto Achermann[Kernel/ARMv8] making KERNEL_OFFSET explicit ULL.
2016-07-18 Reto Achermann[Kernel/ARMv8] fixing includes to match refactored...
2016-07-18 Reto Achermann[Kernel] Removing start_aps.c from Hakefile list, as...
2016-07-18 Simon Gerberkernel: k1om: Update spawn_* functions to match new...
2016-07-18 Simon Gerberarmv7: make compile on Ubuntu 14.04 (GCC 4.8.2)
2016-07-15 David CockZYNQ: Helps if the memory map is correct.
2016-07-15 David CockZYNQ: We make it into init now.
2016-07-15 David CockZYNQ: Kernel boots as far as trying to spawn init.
2016-07-15 David CockARMv7: All existing platforms boot again
2016-07-15 David CockARMv7: a9ve boots and passes memtest again.
next