barrelfish
2016-06-29 David Cocklibpcre: Masked uninitialised variable warning. release2016-06-29
2016-06-28 David CockARMv7: qemu harness definition
2016-06-28 David Cockharness: Removed qemu_scc
2016-06-28 Simon Gerberharness: gem5: fix get_platform()
2016-06-28 Simon Gerberharness: Fix image generation for FVP and GEM5 machines...
2016-06-28 David CockARMv7: Added QEmu boot target
2016-06-28 David CockARMv7: Renamed _gem5 -> a15ve, _fvp -> a9ve
2016-06-28 David CockARMv7: Switched GOT to r9 to match ARM PCS
2016-06-28 David CockARM: Removed sp804 driver, as the kernel no longer...
2016-06-28 David CockARM: Removed traces of ARMv7-M and ARMv5 code.
2016-06-28 Gerd ZellwegerUpdate gitignore.
2016-06-28 Gerd Zellweger[Improvement] Added KernelControlBlock for Capability...
2016-06-28 Gerd Zellweger[Improvement] Added Kernel control block identification.
2016-06-28 Gerd Zellweger[Bug] Fix assertion to check struct kcb instead of...
2016-06-28 Simon Gerberlibpcre: omit -Wshadow to unbreak ARM builds on GCC...
2016-06-24 David CockARMv7: Switched to ARMv7+ TLS registers.
2016-06-24 David CockSKB: Updated libpcre to 8.39.
2016-06-24 David CockSKB: libpcre has a bug, and overflows the supplied...
2016-06-24 Simon GerberT257: add some more debug output to usb_manager
2016-06-24 Simon GerberT257: remove USB domains from default pandaboard menu...
2016-06-24 Simon Gerberomap44xx: do not use `div` as variable name
2016-06-23 David CockARMv7: Removed inconsistent copy of kernel_timeslice
2016-06-23 David CockOMAP44xx: Clock frequency discovery.
2016-06-23 David CockARMv7: Simplified jump table
2016-06-23 Simon GerberT257: add missing platform.h
2016-06-23 Simon GerberT257: use platform monitor RPC to figure out if we...
2016-06-22 David CockARMv7: Removed the duplicate 'sys_stack'
2016-06-22 Simon Gerberplatforms/Hakefile: generate rule to copy arm_fvp menu...
2016-06-22 Simon Gerberharness: fvp: supply proper kernel command line argumen...
2016-06-22 Simon Gerberharness: gem5: supply proper kernel command line arguments
2016-06-22 Simon Gerberarmv7: cpuboot: use get_platform() monitor RPC to figur...
2016-06-22 Simon GerberT254: kaluga: use new get_platform() monitor RPC to...
2016-06-22 Simon Gerberplatforms/Hakefile: copy menu.lst to build tree for...
2016-06-22 Simon GerberT255: kernel cap invocation and monitor RPC to discover...
2016-06-22 Simon GerberT254: kaluga: move arch-specific startup code into...
2016-06-22 David CockARMv7: Exception vectors in a simple jump table.
2016-06-21 David CockARMv7: CPUID check on boot.
2016-06-21 David CockAdded a separate script for debugging kernel init.
2016-06-21 David CockUpdated debug script for 0-base kernel ELF
2016-06-21 David CockRemoved redundant offset definitions.
2016-06-21 David CockRenamed build_pandaboard_image.sh
2016-06-20 David CockDS-5 OS awareness for BF
2016-06-20 David CockARMv7: Set ContextID
2016-06-17 David CockDon't supply --console-port to non-patched GEM5.
2016-06-17 David CockMoved ARMv7 platform quirks to kernel arguments
2016-06-17 Reto Achermann[chips] remove chips domain and interface
2016-06-17 Reto Achermann[cpuboot] display correct error value if caching fails
2016-06-17 David CockRemoved _gem5 and _fvp build types.
2016-06-17 David CockAdded license details for FVP
2016-06-17 David CockAdded a harness machine definition for FVPs.
2016-06-17 David CockRemoved armv5 target from compiler-rt
2016-06-16 Simon Gerberkernel: dump_dispatcher: don't print dispatcher name...
2016-06-16 Simon Gerberkernel: x86_64: set dcb_current->disabled correctly...
2016-06-16 Simon Gerberkernel: x86_64: use get_address() instead of manually...
2016-06-16 Simon Gerberkernel: dump_dispatcher: print dispatcher name
2016-06-16 David CockMerge branch 'master' of ssh://code.systems.ethz.ch...
2016-06-16 David CockUpdated GEM5 machine definition in harness.
2016-06-16 Simon Gerberkaluga: remove wildcard selection of files to compile...
2016-06-16 Simon Gerberharness: remove armv7-m from pandaboard buildarchs
2016-06-16 David CockMake M5_PATH command-line configurable.
2016-06-16 David CockMerge branch 'armv7'
2016-06-15 David CockRemoved last reference to sp804 in ARMv7
2016-06-15 David CockAdded A9 FVP simulation targets
2016-06-15 David CockReenabled pandaboard modules in menu.lst
2016-06-15 Simon Gerberharness: remove get_bootline()
2016-06-15 David CockARMv7: Map kernel RAM window cacheable.
2016-06-15 David CockARMv7: Disable interrupts before calling arch_init()
2016-06-15 David CockDebug output for IRQs in kernel mode.
2016-06-15 Simon GerberT252: harness: add machine to test on locally-attached...
2016-06-15 Simon Gerberharness: update copyright notices and remove unused...
2016-06-15 Simon GerberT251: harness: deduplicate code that is applicable...
2016-06-15 Simon GerberT250: filter list of binaries to put into multiboot...
2016-06-15 Simon Gerberharness: armv7: build custom molly images based on...
2016-06-15 Simon Gerberplatforms: armv7: use menu.lst.<platform> in build...
2016-06-15 Simon Gerberharness: Run tests on racked pandaboards
2016-06-15 David CockA9: Clear the local timer event at the source.
2016-06-15 David CockCorrected Mackerel field definitions for A9 local timer.
2016-06-15 David CockCorrectly handle wfi interrupts in the kernel.
2016-06-14 David CockRewrote do_resume() for ARMv7.
2016-06-14 David CockRetabbed exceptions.S
2016-06-13 David CockSwitched A15 timer to IRQ 29 to match GEM5.
2016-06-13 David CockARMv7 FVP needed its own menu.lst
2016-06-13 David CockRationalised the ARM Platform code.
2016-06-13 Simon Gerberlibspawndomain: simplify multiboot mapping as we only...
2016-06-13 Simon Gerberkernel: x86_64: fix paging_dump_tables()
2016-06-09 Simon GerberMerge GitHub PR1. release2016-06-10
2016-06-08 David CockYou can't print until the kprintf spinlock is initialised.
2016-06-08 Simon Gerberirqtest: fix frame_identity init
2016-06-08 Timothy RoscoeIt helps to initialize your spinlocks
2016-06-07 Simon Gerberharness: fix buildall target to be configurable on...
2016-06-07 Simon GerberMerge branch 'caps_next'
2016-06-07 Timothy RoscoeMissing menu.lst files
2016-06-07 Timothy RoscoeMissing tool merge
2016-06-06 Timothy RoscoeDocumentation, and cleaner dispatcher mode tracking...
2016-06-02 Reto Achermannlibgmp: remove dependency to libbarrelfish
2016-05-30 Timothy RoscoeRefactored ARMv7-A code.
2016-05-25 Simon GerberT238: fix renaming mistake
2016-05-25 Simon GerberT238: fix vnode_objsize() to not use BASE_PAGE_SIZE...
2016-05-24 Reto Achermannfixing undefined global in spantest-exit. closes T220
2016-05-23 Simon GerberT238: change kernel to use new vnode_objsize() when...
next