barrelfish
2015-05-04 Simon GerberAdded command line arg for overriding default heap...
2015-05-04 Simon GerberAdded Config.hs flag for morecore pagesize.
2015-05-04 Simon GerberFixed morecore_reinit() to properly not remap when...
2015-05-04 Simon Gerberx86_64: pmap_map: Fixed size check to actually work...
2015-05-04 Simon Gerbervspace_mmu_aware: fixed edge case in assertions.
2015-05-04 Simon GerberAdded remapping functionality for malloc.
2015-05-04 Simon GerberAdded malloc test to check whether large page magic...
2015-05-04 Simon Gerbermake mmu_aware vspace code support multiple page sizes.
2015-05-04 Simon Gerberx86_64: cleaned up corner cases in pmap code.
2015-05-04 Simon Gerberx86_64: pmap: removed support code for mixed-size mappings.
2015-05-04 Simon Gerberx86_64: kernel: cleanup trailing spaces.
2015-05-04 Simon GerberCleanup of unmap error handling and proper checks for...
2015-05-04 Simon GerberAdded unaligned mixed 4k/2M test in large page tests.
2015-05-04 Simon Gerbernewlib: libbarrelfish: properly hook up assert function...
2015-05-04 Simon Gerberx86_64: pmap: cleanup and added some plumbing for mixed...
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 Gerbervspace/utils.c: cleaned up trailing spaces.
2015-04-30 Simon Gerberx86_32: compiles with PAE enabled.
2015-04-30 Simon Gerberx86_32: Added notice about CONFIG_PSE in large page...
2015-04-30 Simon Gerberx86_32: kernel: cleaned up large page mapping code.
2015-04-30 Simon GerberAdded x86_32 version of large page test.
2015-04-30 Simon Gerberproperly zero newly allocated memobj and vregion.
2015-04-30 Simon Gerberx86_32: kernel: added support for large pages to paging...
2015-04-30 Simon GerberRefactored pmap code for x86_{64,32}.
2015-04-30 Simon GerberFixed paging_tlb_flush_range to compile on x86_32.
2015-04-30 Simon GerberAdded large page test.
2015-04-30 Simon Gerberx86_64: lazily clean up empty page tables when creating...
2015-04-30 Simon Gerberx86_64: pmap do_map fine-grained debug output ctrl.
2015-04-30 Simon Gerberx86_64: fix is_same_{pdir,pdpt,pml4} functions to prope...
2015-04-30 Simon Gerberkernel: x86_64: updated paging_dump_tables to understan...
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: cleaned up and refactored pmap unmap code.
2015-04-30 Simon Gerberx86_64: fixed selective tlb flushing page size choice.
2015-04-30 Simon Gerberx86_64: cleanup of pmap do_map and supporting code.
2015-04-30 Simon Gerberx86_64: Fixed typo in determine_addr_raw.
2015-04-30 Simon GerberKernel test that checks that we preserve page table...
2015-04-30 Andreas DillierLargepage Code, arm addition
2015-04-30 Andreas DillierLargepage repository
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2014-05-22 Stefan Kaestleadding a tag for release 2014-05-22
2014-05-22 Kornilios Kourtispartially revert ARMv7 SVC commit release2014-05-22
2014-05-20 Kornilios Kourtisarmv7: use A9 timer functions only in pandaboard
2014-05-19 Gerd ZellwegerMake vmkit test-case pass again.
2014-05-12 Kornilios KourtisMerge remote-tracking branch 'origin/master' into sdma...
2014-05-12 Gerd ZellwegerRevert THC using GCC thread local storage.
2014-05-12 Kornilios KourtisMerge remote-tracking branch 'swicki/master'
2014-05-09 Simon Gerberharness: Added burrata.
2014-05-07 Gerd ZellwegerRemove now empty function thc_set_pts_0.
2014-05-07 Gerd ZellwegerAdd vacherin to scalebench. Cleanup old entries.
2014-05-07 Gerd ZellwegerAdd support for I210 e1000 card to SKB.
2014-05-07 Gerd ZellwegerFix E1000 debug print.
2014-05-07 Gerd ZellwegerSupport for Intel I210 Ethernet card in e1000.
2014-05-07 Gerd ZellwegerAdding fixes to THC that make it work with threads.
2014-05-07 Gerd ZellwegerTraceing: Export all event info in JSON
2014-05-07 Simon GerberFixed posixcompat_unpack_fds to not try to map an empty...
2014-05-07 Gerd ZellwegerRemove Beehive intermon messages.
2014-05-06 Simon Gerberkernel: enable mapping of up to 1TB of physical memory.
2014-05-06 Simon Gerberx86_64: memserv: change MAXSIZEBITS to 48 to handle...
2014-05-06 Simon Gerberkernel: 4x size of supercn to handle larger amounts...
2014-05-06 Simon Gerberpaging: partially fixed unmap in floating page tables.
2014-05-06 Gerd ZellwegerFix bug in octopus locking code.
2014-03-20 Simon GerberRevert "flounder: fixed UMP capability receive stub...
2014-03-17 Simon Gerberflounder: fixed UMP capability receive stub to properly...
2014-03-12 Gerd ZellwegerAssert that connect callback function is set.
2014-03-12 Gerd ZellwegerMake everything compile for 32bit.
2014-03-11 Simon Gerberadding a tag for release 2014-03-11
2014-03-07 Simon Gerberfixed missing perfcount_type in brie machine data. release2014-03-11
2014-02-28 Simon Gerberarm_molly: able to handle <=20 modules now.
2014-02-28 Simon GerberAdded missing modules in PANDABOARD_MODULES.
2014-02-27 Simon Gerberharness: added bits necessary for pandaboard buildtest.
2014-02-26 Simon GerberFixed missing CPU_ARM5 in spawn_setup_vspace.
2014-02-26 Simon Gerberxscale: define __ARM_ARCH_5__.
2014-02-26 Simon Gerberarmv5: Fixed wait_for_interrupt to work on qemu 0.14
2014-02-26 Simon GerberRemoved offending utf-8 character in omap44xx_uart3...
2014-02-25 Simon Gerberomap44xx: Implemented serial driver.
2014-02-25 Simon Gerberarm: added missing bits for ID cap creation.
2014-02-25 Simon GerberSplit CPU_ARM into CPU_ARM5 and CPU_ARM7
2014-02-25 Simon GerberFixed messed up function call ordering in set_with_idca...
2014-02-25 Simon GerberCleaned up omap44xx uart3 device file.
2014-02-25 Simon GerberChange fish_arm to new terminal API.
2014-02-25 Simon GerberDeduplicated armv7 paging code.
2014-02-07 Simon GerberFixed generic tlb flushing code to use generic pte...
2014-02-05 Sebastian Wickicp15: use clean & invalidate instead of clean only
2014-02-05 Wang NanMake ARMv7 cpu driver run in SVC mode
2014-02-04 Sebastian WickiAdded benchmarks for the SDMA driver
2014-02-04 Sebastian WickiAdded basic support for the Cortex A9 Global Timer
2014-02-04 Sebastian WickiAdded tests for SDMA driver
2014-02-04 Sebastian WickiAdded SDMA driver to kaluga
2014-02-04 Sebastian WickiAdded SDMA driver for memory-to-memory transfers
2014-02-04 Sebastian WickiCleaned up OMAP4460 SDMA Mackerel file
2014-01-27 Simon GerberFlush affected TLB entries on modify_flags.
2014-01-22 Simon GerberFixed libbarrelfish modify_flags code to do correct...
2014-01-22 Simon GerberAdded modify_flags test. Fixed missing local_phys_to_me...
2014-01-13 Simon GerberFixed caps_copy_to_cte to insert new cap after minting.
2014-01-13 Simon GerberFixed mdb_skew and mdb_split to properly update root...
2013-12-22 pravin@inf... Fixed minor error in function signature for compilation...
2013-12-21 pravin@inf... Fixed couple of minor typos in symbolic targets for arm
2013-12-20 pravin@inf... reverted the code to support software filtering for...
next