update tree to use ghc7.4

adding a tag for release 2012-11-03

Reverting previous change to httperf invocation.

We address the httperf library mismatch on ikq02 and ikq03 in /home/harness/.bashrc now.

harness: change httperf path

The problem is that machine updates caused the following errors:
 [ERROR   ] /home/netos/tools/i686-pc-linux-gnu/bin/httperf: error while loading shared libraries: libssl.so.0.9.8: cannot open shared object file: No such file or directory
 [ERROR   ] /home/netos/tools/i686-pc-linux-gnu/bin/httperf: error while loading shared libraries: libssl.so.0.9.8: cannot open shared object file: No such file or directory
 [ERROR   ] /home/netos/tools/i686-pc-linux-gnu/bin/httperf: error while loading shared libraries: libssl.so.0.9.8: cannot open shared object file: No such file or directory
 [ERROR   ] /home/netos/tools/i686-pc-linux-gnu/bin/httperf: error while loading shared libraries: libssl.so.0.9.8: cannot open shared object file: No such file or directory

run-pdflatex.sh: make egrep rerun pattern more specific

egrep Rerun aims to grep for:
  LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
However, it also matches:
  Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
Which creates an infinite loop

TN004: Fixed typo.

posixcompat: Both, newlib and libposixcompat provide an implementation for
             fdopen. Since the libposixcompat implementation is only a stub and
             implementing it there would require to include many newlib-
             internal headers, we use the implementation from newlib.

posixcompat: Provide an simple implementation for fcntl(..., F_GETFL).

posixcompat: Add function chroot(), which is part of XSI.

posixcompat: Add the POSIX functions setuid(), setegid(), seteuid().

Refactor header include/unistd.h.

Sort the steady growing list of function declaration alphabetically, in order
to speed up human lookup algorithms.

posixcompat: Extend header sys/stat.h with macro S_ISVTX as required by XSI.

posixcompat: Add AF_MAX constant from FreeBSD to sys/socket.h

posixcompat: Add function gethostbyaddr().

posixcompat: Add function sysconf().

posixcompat: Add function readv().

posixcompat: Add function readlink().

posixcompat: Add functions getegid(), getgid(), setgid().

posixcompat: Add function gethostname().

posixcompat: Add function setsid().

posixcompat: Add function socketpair().

posixcompat: Add function alarm().

posixcompat: Add functions getgrgid(), getgrent(), setgrent(), endgrent().

Additionally, add the POSIX header grp.h. This header is copied from FreeBSD.

posixcompat: Add functions getgroups, setgroups, initgroups.

posixcompat: Add functions getpwent, setpwent, endpwent. Those are part of the
             XSI extension to POSIX. Moreover, provide implementations for the
             POSIX functions getpwuid and getpwnam.

This patch additionally moves the user database to a seperate header file, that
can be included by all functions that operate on users.

posixcompat: Refactor lib/posixcompat/Hakefile

* Remove trailing spaces and hardtabs.

* Sort cFiles alphabetically.

Refactor: Improve debug message of in case ram_alloc fails.

Refactor: Make 'cpu_type_to_archstr' a static inline function and move it to
          header file where the enum cputype is defined.

collections: Extend collections library with a flipbuffer. (double-buffering)

collections: Extend collections library with a stack.

collections: Extend list implementation with a function to remove a specific
             element and a function to add an element at the tail of the list.

Additionally, refactor files to compy to our coding standards.

Fix: The header 'include/barrelfish/dispatch.h' uses the type
     'dispatcher_handle_t' but does not include the header
     'include/barrelfish_kpi/dispatcher_handle.h', where this type is defined.

Fix: libposixcompat did not compile with POSIXCOMPAT_DEBUG enabled.

This patch fixes the following error:
../lib/posixcompat/shm.c: In function ‘shmat’:
../lib/posixcompat/shm.c:97:5: error: ‘struct _shm’ has no member named ‘mem’

The invocation of "make debugsim" or "make debugsimvga" was only possible
after "make sim". This patch removes this dependency.

Fix: Remove -Iinclude/posixcompat/ from default compiler includes.

The posixcompat subdirectory in include/ got removed with revision
6abc27e4e2a3. There's no need to specify it as a compiler -I option anymore.

Refactor and fix broken usr/testdesc
* usr/testdesc/testdesc.h had an outdated copy of include/vfs/vfstab.h in its
  header file. This patch removes this duplicate header code and includes the
  header.

* Remove hard-tabs from Hakefile.

* Use libDeps in the Hakefile and remove unneeded libraries.

* Add it to symbolic_targets.mk so that it gets build by the buildall tests.

* Move files from usr/testdesc to usr/tests/testdesc.

Overall, the code compiles again and also seems to work properly.

libbarrelfish: Rename the header lib/barrelfish/include/threads.h to
               lib/barrelfish/include/threads_priv.h.

To avoid confusion between the public and the private thread header, rename
the libbarrelfish-private thread header to threads_priv.h.

--HG--
rename : lib/barrelfish/include/threads.h => lib/barrelfish/include/threads_priv.h

libbarrelfish: Spilt private waitset_chan.h header into a public and private
               header.

* Check all files that included the old header, if the need the private or the
  public header or both or none at all. Some files included the header but
  didn't use any of the functions provided by the header.

* Change libahci so that it no longer uses the libbarrelfish-private header.

adding a tag for release 2012-10-03

harness: s/arm/armv5/

armv5: move cp15_invalidate_i_and_d_caches() to a .c file

This makes armv5 compile again.

Fix broken printf("%ls") in newlib (#249)

- create a Config.newlibAddCFlags and use it in newlib Hakefiles
- add D_MB_CAPABLE to enable wide characters
- stylistic changes

added device ID for Qemu's e1000

kaluga: don't crash if a module exists with no arguments

unbreak nfs client for threadsafe lwip

This function "wait_for_condition_fair()" looks dubious at best, but
I'm just trying to make stuff work. Don't blame me for touching it
last!

e1000: silence "no packet" printf that spams my console on qemu

this is presumably indicative of a real error (we're taking interrupts
all the time), however since packets appear to be getting through I
don't want to deal with it right now.

unrot vbe driver

re-expose lwip_init_ex() to external callers

I know we have a proliferation of lwip init APIs, but I need one to
which I can pass both mutex, waitset, and interface name.  If
lwip_init_auto_ex wasn't so stupid, I could use that, but I can't.  We
really should get away from naming the ethernet interfaces by the name
of their driver.

revert vspace_map_anon_aligned API change, and try to make the interface slightly saner

passing a struct memobj when you expect and use a larger struct
memobj_anon (and the caller must know this) is insanity

--HG--
extra : transplant_source : %B4%1Fu%1E%16%22%D5%B7%0C%DA%09%0Dk%F6%9D%02%5C%8A%E8%2C

pci: strict aliasing fix for dodgy cast

Size of UMP message does not have to be equal to the cache-line size.

harness: s/arm/armv5/

merged pandaboard tree

Bugfix: free the key only if it's not put in the hashtable.

Number of cores is now read from SCU. If more than one core is present, the SCU is enabled

Fixed misc. paths that were overlooked when renaming 'arm' to 'armv5'.

Renamed ARM to ARMv5.

Added note about Config.enable_gem5 to tools/arm_gem5/README.

Changed ARMv7.hs to include -D__GEM5__ depending on Config.enable_gem5 instead of always.

Merged latest changes from Samuel's branch.

--HG--
rename : kernel/arch/arm_gem5/init.c => kernel/arch/omap44xx/init.c

Fixed missed gem5 comment.

Added demo for self-paging.

Renamed arm_gem5 to armv7.

TODO:
* Figure out if the __GEM5__ define actually refers to gem5 or just to ARMv7.

Use arm-linux-gnueabi instead of arm-none-linux-gnueabi.

Resurrected lwip_err_to_errval() in private header lwip/barrelfish.h
(see thread on barrelfish list from 2012-08-13).

Include only necessary headers in lwIP headers, instead of full
barrelfish.h. This is more compatible with POSIX apps, which mostly
are C89, while barrelfish.h is C99.

Removed lwip_err_to_errval(), which was marked to be removed and
caused problems with Postgres, because of it including errors/errno.h,
which is another C99 header.

Fixed dependency issue. The OMAP kernel depends on omap44xx_gpio device

Reorged files.
GPIO defintions.
Flash one LEd :-(

--HG--
rename : devices/omap44xx_id.dev => devices/omap/omap44xx_id.dev
rename : devices/omap44xx_usbconf.dev => devices/omap/omap44xx_usbconf.dev
rename : devices/omap_uart.dev => devices/omap/omap_uart.dev

Remove another file

Removed some redundant (identical) files.

--HG--
rename : kernel/include/arch/x86_64/debug.h => kernel/include/arch/x86/debug.h
rename : kernel/include/arch/x86_64/pic.h => kernel/include/arch/x86/pic.h

Moved ARMv7a MMU enabling code to cp15.S.
Cleaned up boot.S for ARMv7a.
Removed useless conio.h duplication (why was this here?)

--HG--
rename : kernel/include/arch/x86_32/conio.h => kernel/include/arch/x86/conio.h

merge

Cleaned up some assembly.
Added memory sizing (currently unused, but helpful).

Moved cache control code from boot.S to arm_gem5/cp15.S

adding a tag for release 2012-08-08

merge

Some fixes.

arm_molly: Fixed objdump command in build_data_files.sh

Duplicate file.

Duplicate file.

Treeshaking.

Fixed UART code for ARM5, for now.

Documentation.
Fixed bug in other serial drivers.

Merge

New serial interface inside the CPU driver.

Enabled caching again, and added appropriate tlb and cache flush in do_resume
which enables transition from kernelspace to userspace.

ram_alloc_remote(): reset affinity before calling slot_alloc()

Based on patch provided by Shi Jinghao <jhshi@cs.hku.hk>:
https://lists.inf.ethz.ch/pipermail/barrelfish-users/2012-August/000783.html:

In ram_alloc_remote, there is a hack that before we obtain the
ram_alloc_lock and do the actual transport, we first check if cs->space ==
1: if yes, we do a pair of dummy slot_alloc and slot_free to help the
slot_allocator grow itself. But since slot_alloc may involve another
ram_alloc call, we need to reset the affinity to the default (0, 0) before
slot_alloc and restore the affinity after slot_free.

I found this bug when I repeatly do: set affinity to
(0x80000000-0xc0000000) (shared memory on SCC), allocate a 4K frame use
frame_alloc, set the affinity back to (0, 0). After a certain number of
iterations, all the slot in slot_allocator are consumed and trigger the
dummy slot_alloc/slot_free operation. Then the slot_alloc failed since at
the moment, the affinity is not the default (0, 0) but
(0x80000000,0xc0000000). So the new frame is allocated on a non-expected
physical memory region and somehow a page fault is triggered, which cause
the system to crash.

Here is the fix patch, FYI.

diff -r ba0440b6d59d lib/barrelfish/ram_alloc.c
--- a/lib/barrelfish/ram_alloc.c Wed Aug 01 20:17:53 2012 +0800
+++ b/lib/barrelfish/ram_alloc.c Wed Aug 01 20:18:31 2012 +0800
@@ -35,6 +35,7 @@
     struct slot_alloc_state *sas = get_slot_alloc_state();
     struct slot_allocator *ca = (struct slot_allocator*)(&sas->defca);
     if (ca->space == 1) {
+        ram_set_affinity(0, 0);
         struct capref cap;
         err = slot_alloc(&cap);
         if (err_is_fail(err)) {
@@ -44,6 +45,7 @@
         if (err_is_fail(err)) {
             return err_push(err, LIB_ERR_SLOT_FREE);
         }
+        ram_set_affinity(minbase, maxlimit);
     }

     assert(ret != NULL);

Merge.

Everything is working for 1 core.
This includes init, mem_serv, monitor, ramfsd, skb, spawnd, startd and memtest.

Userspace is working now.
There was an issue with stack pointer not restored properly,
but now it is fixed by restoring sp separately with help of temporary register.

Currently code stops somewhere in mem_serv with complain MM_ERR_OUT_OF_BOUNDS

fixed max interrupts and interrupt lines mix up

Added USB configuration block

merge

Making sure that system is always in privileged mode

Treeshaking.

Fixed some Mackerel-API errors.

Merge

Fixed conflicting use of temporary directory for arm_molly

Build both GEM5 and OMAP CPU drivers in the same architecture.
Fix bug in integrator.c (GIC driver).
Cleaned up badly formatted code (PLEASE observe the style guide!)

Cleaned up boot target for Pandaboard