arm: fix caps_map_l1 for armv5 and remove panic()s in armv7
[barrelfish] / include /
2015-08-03 Simon Gerber32bit arm: fix large page support. Close T148.
2015-06-25 Reto AchermannXeon Phi boot: getting rid of the single boot image...
2015-06-25 Reto Achermannlibtftp: initial commit of a simple tftp client library
2015-06-19 Reto Achermannk1om: aliasing rdtscp with rdtsc
2015-06-19 Reto Achermannlibconcurrent: add include file to stddbool into header.
2015-06-19 Reto Achermannk1om: re-adding architecture dependent asm_inlines...
2015-06-19 Reto AchermannXeon Phi: Removing duplicated headers
2015-06-16 Moritz HoffmannT119: kernel: Implement cap invocation for arm, x86_32
2015-06-16 Moritz Hoffmanntrace: Consistent includes across all platforms
2015-06-16 Moritz HoffmannT119: kernel, spawn, libbarrelfish, fish: Remove DEBUG_...
2015-06-16 Moritz HoffmannT119: kernel, spawnd, fish: Use dispatcher invocations...
2015-06-16 Moritz HoffmannT119: kernel: Unify debug_print_capabilities in sys_debug.c
2015-06-16 Simon GerberT121: Create "real" BSP KCB cap for x86.
2015-06-16 Moritz HoffmannT119: implement syscall and monitor interface to debug_...
2015-06-16 Reto Achermannlibnuma: implementing missing allocation functions...
2015-06-16 Reto Achermannlibbitmap: changing semantics of bitmap_bit_{prev|next}
2015-06-15 Moritz HoffmannFixes T120: mdb: Add mdb tree traversal functions.
2015-06-11 Simon Gerberx86: implement modify flags for x86_32 and improve...
2015-06-11 Simon GerberT77: Implement selective TLB flushing hint for modify_f...
2015-06-10 Reto Achermann[T115] extending support for cpuid instruction
2015-06-01 Simon Gerbernewlib: fixup missing bits + make compile for 32bit.
2015-06-01 Simon Gerbernewlib: fixup patch for new newlib version and adjust...
2015-06-01 Simon GerberSquashed 'lib/newlib/' content from commit a4e9d13
2015-05-19 Reto Achermannlibdma: enabling msix support for IOAT. [Closes T101]
2015-05-04 Gerd ZellwegerMake SKB behaviour more robust in case of overflow.
2015-05-04 Reto AchermannHanding over alignment paramenter of morecore when...
2015-05-04 Simon Gerberarmv5: make cpu driver run again.
2015-05-04 Simon GerberFix large page code so it compiles on 32bit / ARM.
2015-05-04 Simon GerberMerge large page support code.
2015-05-04 Simon GerberAdded Config.hs flag for morecore pagesize.
2015-05-04 Simon GerberAdded remapping functionality for malloc.
2015-05-04 Simon Gerbermake mmu_aware vspace code support multiple page sizes.
2015-05-04 Simon Gerberx86_64: cleaned up magic constant 9 (ptable_bits) in...
2015-04-30 Simon GerberFixed VREGION_FLAGS_MASK.
2015-04-30 Simon Gerberx86_64: fixed unmap last leaf, added code to allow...
2015-04-30 Simon Gerberx86_64: fix page sizes to be derived from sizes in...
2015-04-30 Simon Gerberx86_64: cleanup of pmap do_map and supporting code.
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2015-04-28 Moritz HoffmannFix include of if/terminal_config_defs.h - depending...
2015-04-20 Zaheer ChothiaDuplicate definition of NAME_MAX macro
2015-04-20 Zaheer Chothiaposixcompat: make pthread_once a wrapper over the versi...
2015-04-20 Zaheer Chothiathread: add support for one-time global initialization
2015-03-09 Simon GerberT65: implement proper x-core join.
2015-03-09 Simon GerberT65: properly implement x-core thread creation.
2015-03-09 Simon GerberAdd get_absolute_time() syscall + implement std::chrono...
2015-03-09 Simon Gerberposixcompat: properly handle PTHREAD_MUTEX_RECURSIVE...
2015-02-03 Simon Gerberposixcompat: added stubs for fchown,fchmod,mmap,munmap.
2015-02-02 Simon GerberRename struct slab_alloc to struct slab_allocator.
2015-02-02 Simon GerberMake include/barrelfish/ump_impl.h compile for C++.
2015-01-13 Reto AchermannMerge branch 'master' of ssh://
2015-01-12 Simon Gerberlibbarrelfish: memobj: add optional frame offset to...
2015-01-12 Reto Achermannlibdma: adding memset support
2015-01-12 Reto Achermannlibdma: bugfixes to avoid NULL pointer dereferencing.
2015-01-12 Reto AchermannMerge commit '68aa7c3'
2014-12-29 Reto Achermannlibbomp2: initial commit of the new OMP library
2014-12-24 Reto Achermannlibnuma: implementing bitmap functions
2014-12-24 Reto Achermannlibbitmap: adding a generic bitmap library
2014-12-17 Zaheer ChothiaRemove <nodeputy.h> from default flags
2014-12-16 Reto Achermannlibnuma: changes in type defs and macros
2014-12-16 Reto Achermannlibnuma: setting the numa topology structure and the...
2014-12-15 Moritz HoffmannChange USB code to use barrelfish_usleep provided by...
2014-12-14 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-13 Reto Achermannlibnuma: testdomain and partial implementation
2014-12-12 Reto Achermannlibnuma: adding interface specification numa.h
2014-12-10 Reto Achermannlibbarrelfish: adding new memobj type
2014-12-10 Gerd ZellwegerFix the USB code that was destroying my shell.
2014-12-07 Reto Achermannliblua: modifications to newlib to make it compile
2014-12-07 Reto Achermannliblua: moved public headers of lib lua into /include
2014-12-01 Reto Achermannmoved inclusion of if/dma_def.h out of public header
2014-11-27 Reto Achermannmoved spawn flags into spawndomain.h
2014-11-27 Reto AchermannMerge branch 'master' of ssh://
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-26 Timothy RoscoeMerge ssh://
2014-11-26 Simon GerberAdded bench_tsc_per_* functions for arm.
2014-11-25 Reto Achermannadapted libbarrelfish to compile again for K1om
2014-11-25 Reto AchermannMerge branch 'master' of ssh://
2014-11-25 Timothy RoscoeMerge branch 'master' of ssh://
2014-11-25 Timothy RoscoeFixed octopus dependency problem
2014-11-21 Gerd ZellwegerReturn number of instance spawned in spawn_on_all_cores.
2014-11-21 Reto Achermannmerged with main tree
2014-11-21 Simon GerberFixed usage of kernel cap in armboot. Using IPICmd_Send...
2014-11-21 Simon GerberMake kernel create IPI cap which is passed to monitor.
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-11-21 Gerd ZellwegerFix spantest and ump_bench by making sure all_spawnd_up...
2014-11-20 Gerd ZellwegerMerge branch 'master' of
2014-11-11 Gerd ZellwegerBoot driver for ARM can now boot a pandaboard core.
2014-11-11 Gerd ZellwegerAdded cap_invoke macros for ARM.
2014-11-11 Simon GerberFixed bomp ft benchmark.
2014-11-11 Simon GerberCleaned up page cn and physaddr cn creation code.
2014-11-11 Gerd ZellwegerRemove no longer needed code.
2014-11-10 Gerd ZellwegerMake sure ARM kernels are working agian.
2014-11-10 Gerd ZellwegerAdd support to identify KCB on 32bit and correctly...
2014-11-07 Gerd ZellwegerFix invocations, added missing syscall handler
2014-11-07 Gerd ZellwegerBoot generic CPU type in x86boot.
2014-11-07 Gerd ZellwegerAdded cap_invoke macros to x86-32 bit architecture.
2014-11-05 Gerd ZellwegerIntegrating coreboot for 32bit.
2014-11-05 Gerd ZellwegerRemove unneeded code in x86_64.
2014-11-04 Gerd ZellwegerRemove ancient compiler overrides due to bugs.
2014-11-04 Simon GerberMerge branch 'master' into master-into-distops
2014-10-31 Simon GerberAdded new mdb tracing option and some assertions.