Added command line arg for overriding default heap pagesize.

Also removed the vregion flags #define for the heap region as we can infer the
necessary flags from the alignment argument to morecore_init(). We now choose
the pagesize that matches the alignment or 4kB if no match found.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Added Config.hs flag for morecore pagesize.

Conflicts:
lib/barrelfish/init.c
lib/barrelfish/morecore.c

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Fixed morecore_reinit() to properly not remap when unnecessary.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: pmap_map: Fixed size check to actually work for sizes >4GB.

Conflicts:
lib/barrelfish/target/x86_64/pmap_target.c

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

vspace_mmu_aware: fixed edge case in assertions.

Assertions didn't allow freeing the region starting at offset zero in the
vregion.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Added remapping functionality for malloc.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Added malloc test to check whether large page magic works.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

make mmu_aware vspace code support multiple page sizes.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: cleaned up corner cases in pmap code.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: pmap: removed support code for mixed-size mappings.

Mixed-size mappings (e.g. composing a mapping from 4k and 2M pages) don't work
on x86 unless the physical and virtual addresses have matching alignments (a
2M mapping needs both a 2M aligned virtual and physical address).  Thus we
don't support this case in the default library OS.

The kernel doesn't care though and you can roll your own system where you
allocate physical memory that matches the alignment so that the first 2M
aligned virtual address lands on a 2M aligned physical address.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: kernel: cleanup trailing spaces.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Cleanup of unmap error handling and proper checks for slab refilling in map.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Added unaligned mixed 4k/2M test in large page tests.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

newlib: libbarrelfish: properly hook up assert functionality.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: pmap: cleanup and added some plumbing for mixed-size mappings.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: cleaned up magic constant 9 (ptable_bits) in pmap code.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Fixed VREGION_FLAGS_MASK.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

vspace/utils.c: cleaned up trailing spaces.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_32: compiles with PAE enabled.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_32: Added notice about CONFIG_PSE in large page test.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_32: kernel: cleaned up large page mapping code.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Added x86_32 version of large page test.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

properly zero newly allocated memobj and vregion.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_32: kernel: added support for large pages to paging_dump_tables.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Refactored pmap code for x86_{64,32}.

* factored out common code for vnode manipulation (see pmap_x86.{h,c})
* cleaned up x86_32 pmap implementation

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Fixed paging_tlb_flush_range to compile on x86_32.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Added large page test.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: lazily clean up empty page tables when creating large / huge page mappings.

This enables reusing address ranges that held smaller mappings before when
creating mappings with large or huge pages.  This is necessary as we never
clean up page tables and page directories when unmapping regardless of whether
there's valid entries left in them.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: pmap do_map fine-grained debug output ctrl.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: fix is_same_{pdir,pdpt,pml4} functions to properly identify ranges that span exactly one table.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

kernel: x86_64: updated paging_dump_tables to understand large/huge pages.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: fixed unmap last leaf, added code to allow users to easily map large/huge pages.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: fix page sizes to be derived from sizes in bits.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: cleaned up and refactored pmap unmap code.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: fixed selective tlb flushing page size choice.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: cleanup of pmap do_map and supporting code.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

x86_64: Fixed typo in determine_addr_raw.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Kernel test that checks that we preserve page table hierarchy constraints

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

Largepage Code, arm addition

Added arm/omap4460 files, just for completeness, it does not work yet.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Largepage repository

Fixing the issue with the repository not having a history

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Added large page capabilities to the x86 architecture.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

adding a tag for release 2014-05-22

partially revert ARMv7 SVC commit

This partially reverts commit 'make ARMv7 cpu driver run in SVC mode'
(0d0727072557f24bd66686e37dc8ddbda328cf15) because it does not boot on
GEM5.

armv7: use A9 timer functions only in pandaboard

These functions are only defined for pandaboard:
 collect2: ld terminated with signal 11 [Segmentation fault]
 ./armv7/kernel/arch/armv7/syscall.o: In function `sys_syscall':
 syscall.c:(.text+0x9ac): undefined reference to `gt_read_high'
 syscall.c:(.text+0x9c0): undefined reference to `gt_read_low'

Guard them with an #if for now.

Make vmkit test-case pass again.

vmkit linux execution stopped after:
[0:05:20] handle_vmexit_cpuid: CPUID: func 40000000, host reports: eax 0, ebx 0,
ecx 0, edx 0
[0:05:20] VMKit PCI host: reading register 2, opsize 1: 0
[0:05:20] VMKit PCI host: reading register 0, opsize 1: 0
[0:05:20] VMKit PCI host: reading register 0, opsize 1: 0
[0:05:20] VMKit PCI host: reading register 3, opsize 0: 0
[0:05:20] handle_vmexit_cpuid: CPUID: func 40000000, host reports: eax 0, ebx 0,
ecx 0, edx 0
[0:16:13] [Error: test timed out]

There seems to be a hard-coded assumption in there about the
PCI function of the NIC it uses for PCI pass-through?
I did not find it with a quick glance, but I'll need to have
another look as this will likely break again in the future.

Merge remote-tracking branch 'origin/master' into sdma-swicki

Revert THC using GCC thread local storage.

As it turns out this is only really support on x86-64.
For x86-32 I need to add LDT support first.

This reverts commit 15237af3c7c5007ba74b452d961cf22a613b9b60.
This reverts commit 9cdc2018f4728271fde24fb9f59576b103c975a6.

Merge remote-tracking branch 'swicki/master'

Conflicts:
hake/menu.lst.pandaboard
include/arch/arm/omap44xx/device_registers.h
kernel/arch/arm/exec.c
usr/kaluga/main.c
usr/kaluga/omap_startup.c

harness: Added burrata.

Remove now empty function thc_set_pts_0.

Add vacherin to scalebench. Cleanup old entries.

Add support for I210 e1000 card to SKB.

Fix E1000 debug print.

Support for Intel I210 Ethernet card in e1000.

Makes networking work on our vacherin machine.

Right now this is another card type in e1000, however, it may be the same as
82576 card but at least, juding from the code we have for 82576 some of the
init code has to be different.

Also, change e1000 to select first card found instead of last, usually
first card has function 0x0 so we will choose the right one for machines
with only one cable. Better would probably be to try them all and see
where we get a link.

Adding fixes to THC that make it work with threads.

Using GCC thread local storage for TLS state in BF.
See also https://lists.inf.ethz.ch/mailman/private/barrelfish/2012/002576.html

Traceing: Export all event info in JSON

Before Pleco exported either DESC if set or NAME of event when
writing the JSON. This makes it awkward to write Javascript
programs to parse the trace in aquarium. Now we export both
with means we can always rely on event NAME in javascript.

Fixed posixcompat_unpack_fds to not try to map an empty slot.

Remove Beehive intermon messages.

Beehvive support was removed a long time ago.

Conflicts:
if/intermon.if

kernel: enable mapping of up to 1TB of physical memory.

x86_64: memserv: change MAXSIZEBITS to 48 to handle machines with large RAM.

kernel: 4x size of supercn to handle larger amounts of RAM.

paging: partially fixed unmap in floating page tables.

Fix bug in octopus locking code.

Trigger and Return binding was switched when creating the trigger
struct which lead to trigger not being installed on server side.
Unfortunately this is not type checked :-(

Revert "flounder: fixed UMP capability receive stub to properly call receive handler under all circumstances."

As it turns out this wasn't a bug at all, I just didn't understand how UMP
transfers multiple caps.

This reverts commit
git: 65b4f2e4e08ed0b126eb8be03ac5bea8a63dc1b6
hg:  f633ef1624182427285b9445d40e0c485fd51ffa

flounder: fixed UMP capability receive stub to properly call receive handler under all circumstances.

Assert that connect callback function is set.

You can run into this beeing a problem when playing around with the build and
not defining for example UMP in flounderBackends but not in interconnectDrivers.
Having ifdefs in a struct can lead to ugly bugs in that case :-(.

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

adding a tag for release 2014-03-11

fixed missing perfcount_type in brie machine data.

arm_molly: able to handle <=20 modules now.

Added missing modules in PANDABOARD_MODULES.

harness: added bits necessary for pandaboard buildtest.

Fixed missing CPU_ARM5 in spawn_setup_vspace.

xscale: define __ARM_ARCH_5__.

armv5: Fixed wait_for_interrupt to work on qemu 0.14

Removed offending utf-8 character in omap44xx_uart3 device file.

omap44xx: Implemented serial driver.

arm: added missing bits for ID cap creation.

Split CPU_ARM into CPU_ARM5 and CPU_ARM7

Fixed messed up function call ordering in set_with_idcap_handler in octopus service.

Cleaned up omap44xx uart3 device file.

Change fish_arm to new terminal API.

Deduplicated armv7 paging code.

Fixed generic tlb flushing code to use generic pte size define.

cp15: use clean & invalidate instead of clean only

The current implementation of cp15_invalidate_d_cache() only cleans
the cache, which means that dirty cache lines are written back to
memory. However, cache lines which were modified in memory, for
example by a DMA engine, are not re-read.

This change uses the clean & invalidate operation, which means that
the cache lines are cleaned and invalidated: All dirty cache lines
are written back to memory, all other other cache lines are marked
as invalid until they are re-read from memory.

Make ARMv7 cpu driver run in SVC mode

From https://lists.inf.ethz.ch/pipermail/barrelfish-users/2013-July/001092.html

Added benchmarks for the SDMA driver

The code /usr/bench/sdma_bench performs and measures multiple
transfer requests. It optionally spawns a number of worker in
order to simulate multiple clients and uses distributed
barriers to synchronize all these workers.

The benchmark in /usr/bench/bulk_sdma implements a simple bulk
transfer framework for test purposes. The different implementations
either perform the copy themselves in software, or offload them to
the SDMA driver.

Added basic support for the Cortex A9 Global Timer

The Cortex A9 global timer is a 64-bit incrementing counter, which
is memory mapped in the private memory region. Thus, the code for
the timer is currently all in the CPU driver.

To read out the timer in userspace, two system calls are needed,
one for the lower and and one for the upper half of the counter.
The following helper function is provided to correctly read out
the timer value in two 32 bit reads as suggested in the ARM TRM:

  errval_t sys_debug_hardware_global_timer_read(uint64_t *ret)

Added tests for SDMA driver

Added SDMA driver to kaluga

Added SDMA driver for memory-to-memory transfers

This adds support for the OMAP4460 SDMA engine found on the Pandaboard.
The driver currently only supports memory-to-memory transfer. Those can
be requested through the Flounder interface described in if/omap_sdma.if.

Cleaned up OMAP4460 SDMA Mackerel file

Changed to use regarrays for channels, instead of individual definitions,
added scatter-gather descriptors and fixed some minor typos.

Flush affected TLB entries on modify_flags.

Fixed libbarrelfish modify_flags code to do correct inside_region() calls.

Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.

Fixed caps_copy_to_cte to insert new cap after minting.

Fixed mdb_skew and mdb_split to properly update root node if necessary.

Fixed minor error in function signature for compilation of eMAC driver for SCC.

Fixed couple of minor typos in symbolic targets for arm

reverted the code to support software filtering for chained incoming packets,
as that code was not working.