barrelfish
2016-07-19 Moritz Hoffmannskb: remove old eclipseclp release2016-07-20
2016-07-19 David CockARMv7: Made some improvements to usbboot.
2016-07-19 Reto Achermann[platforms] adding ARMv8 qemu targetse to platforms...
2016-07-19 Lukas HumbelQEMU: Use generic machine name
2016-07-19 Lukas HumbelQEMU: Don't fail on disable pci link device
2016-07-19 Lukas HumbelQEMU: Increase buffer size for PCI routing table
2016-07-19 Lukas HumbelQEMU: Use a recent machine
2016-07-19 David CockZynq: got_base had KERNEL_OFFSET added twice.
2016-07-19 David CockMultiboot: Parse the "image" command.
2016-07-19 David CockARMv7: Fixed a trigger-happy assert in arm_bootimage
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 Roni Häckie1000: changed net constant so e1000n works again with...
2016-07-18 Simon Gerberharness: fix pandaboard machine
2016-07-18 Simon Gerberarmv7: harness: fix FVP and qemu machines.
2016-07-18 Simon Gerberharness: armv7: fix image names in harness machines
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-18 David CockARMv7: Tidied static bootloader code.
2016-07-15 David CockARMv7: Removed tool hardcoding for usbboot build
2016-07-15 David CockARMv7: USB boot target for Pandaboard
2016-07-15 David CockARMv7: Brought usbboot into the Barrelfish tree.
2016-07-15 David CockARMv7: Unified image rules, and added .bin target
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.
2016-07-15 David CockARMv7: CPU driver reinitialised UART and prints.
2016-07-15 David CockARMv7: New-style platform rule for a9ve
2016-07-15 David CockARMv7: Fill inter-segment gaps in the prebuilt image.
2016-07-15 David CockARMv7: Pass multiboot pointer through a symbol for...
2016-07-15 David CockARMv7: new loader creates MB header
2016-07-15 David CockARMv7: Boot image now includes CPU driver
2016-07-15 David Cockmenu.lst parsing library
2016-07-15 David CockARMv7: CPU driver builds again - enough for testing.
2016-07-15 David CockARMv7: New bootloader more or less works... a bit.
2016-07-15 David CockARMv7: First prototype of a new bootloader for simulators
2016-07-15 David CockZYNQ: Clock tree probing.
2016-07-15 David CockARMv7: QEmu target for Zynq
2016-07-15 David CockARMv7: Make init code show up in .text for debugging
2016-07-15 David CockZynq: Serial console is up
2016-07-15 David CockZynq: initial image builds.
2016-07-15 David CockZYNQ: Added UART and System Control devices
2016-07-15 Reto Achermann[tools] extending qemu-wrapper with ARMv8 support
2016-07-08 David CockARMv7: Separated pre-MMU init code
2016-07-08 David CockARMv7: Moved MMU initialisation into C
2016-07-07 David CockARMv7: Improved cache code.
2016-07-07 David CockARMv7: Update debug scripts to match renamings.
2016-07-07 David CockARMv7: Enforce word-alignment for allocation.
2016-07-06 David CockARMv7: Rationalised coreboot structures.
2016-07-04 Reto Achermann[Flounder] removing arch and platform files for no...
2016-07-04 Reto Achermann[Flounder] removing call/response message types from...
2016-07-04 Reto Achermann[libbarrelfish] allocating the proper size of memory...
2016-07-04 Reto Achermann[libbarrelfish] don't abort in morecore when failed
2016-07-01 Adam TurowskiRemoving trailing spaces.
2016-07-01 Adam TurowskiInterface definitions: Changing calls/responses into...
2016-06-29 Simon GerberT263: Refactor retype() to allow object sizes < BASE_PA...
2016-06-29 David CockOMAP: Complete dynamic clock frequency probing.
2016-06-29 David CockARMv7: pruned unused devices from OMAP
2016-06-29 Simon GerberT259: Unconditionally reset multihop binding capst...
2016-06-29 Simon GerberT259: monitor: properly initialize capops delete state
2016-06-29 Roni HäckiDevice Queue: added header file for device queue interface
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.
next