harness: simulator tests: gracefully handle EOF on read from sub-process when telnet...
[barrelfish] / kernel /
2016-10-06 Reto Achermannkernel: Adding proper target for a57v cpu
2016-10-06 Reto Achermannarmv8: pass over startup_arch + additionts to init...
2016-10-06 Reto Achermannarmv8: adding function to find cmdline from multiboot
2016-10-06 Reto Achermannarmv8: update linker script to reflect changes in efi...
2016-10-06 Reto Achermannarmv8: using arm generic misc.c
2016-10-06 Reto Achermannarmv8: introducing platformfiles for A57 and generic...
2016-10-06 Reto Achermannarmv8/apm88xxxx: removing directory and moving function...
2016-10-06 Reto Achermannarmv8: moving of efi boot code into arm directory
2016-10-06 Reto Achermannkernel: stdlib - adding wrapper tu support long long...
2016-10-06 Reto Achermannarm: renaming kludges to gdb_arch and separaring common...
2016-10-06 Moritz Hoffmannkernel/armv8: fix is_root_pt to return true when type...
2016-10-06 Moritz Hoffmannkernel/paging: Correct compile_vaddr for AARCH64.
2016-10-06 Reto AchermannARMv8: making Barrelfish boot on the X-Gene
2016-10-06 Reto AchermannARMv8: simplify multiboot2 find header
2016-10-06 Reto AchermannARMv8: enabling access to performance monitor from...
2016-10-06 Reto AchermannARMv8: disable alignment checking to allow unaligned...
2016-10-06 Reto AchermannARMv8: passing stack parameter correctly to vminit
2016-10-06 Moritz Hoffmannkernel/armv8: Set page table bits correctly to handle...
2016-10-04 Simon Gerberkernel: dump_ptables: armv7: print rw flags for small...
2016-10-04 Simon Gerberkernel: arm: fix modify_flags invocation
2016-10-03 Simon Gerberarmv7: paging: proper check if `pte_count` pages fit...
2016-09-28 Simon GerberT291: kernel: include bitmacros.h in kernel.h
2016-09-28 Simon GerberT291: create_mapping_cap:Properly check that offsets...
2016-09-28 Moritz HoffmannT291: add implementation for armv7/8
2016-09-27 Moritz HoffmannT291: Implement offset in mapping capabilities.
2016-09-21 Simon GerberT284: make kernel message on occupied destination slot...
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...
next