barrelfish
9 years agofish also depends on the memserv binding. There's a new command to report on release2011-09-02
Simon Peter [Fri, 2 Sep 2011 08:50:53 +0000]
fish also depends on the memserv binding. There's a new command to report on
free memory.

9 years agoLPC timer still needed for vmkit.
Simon Peter [Wed, 31 Aug 2011 14:06:52 +0000]
LPC timer still needed for vmkit.

9 years agoSorry, another test push
Stefan Kästle [Tue, 30 Aug 2011 16:19:49 +0000]
Sorry, another test push

9 years agoAnother test push
Stefan Kästle [Tue, 30 Aug 2011 16:11:53 +0000]
Another test push

9 years agoTest push
Stefan Kästle [Tue, 30 Aug 2011 15:48:47 +0000]
Test push

9 years agomerge
Mothy [Tue, 30 Aug 2011 09:56:10 +0000]
merge

9 years agoTracked down the two figures needed in the routing documentation.
akhi akhi@inf.ethz.ch [Tue, 30 Aug 2011 09:54:09 +0000]
Tracked down the two figures needed in the routing documentation.

9 years agoCleaned up missing references, etc.
Mothy [Tue, 30 Aug 2011 08:49:52 +0000]
Cleaned up missing references, etc.

9 years agoTemporarily exclude missing figures from the routing document.
akhi akhi@inf.ethz.ch [Tue, 30 Aug 2011 08:12:45 +0000]
Temporarily exclude missing figures from the routing document.
They will be added once we track down the figures.

9 years agoremove some lwip debug printing
Andrew Baumann [Mon, 29 Aug 2011 17:35:55 +0000]
remove some lwip debug printing

9 years agoFixed domain spanning under memory reclamation: Need to mark custom
Simon Peter [Wed, 24 Aug 2011 12:59:24 +0000]
Fixed domain spanning under memory reclamation: Need to mark custom
created caps as remote.

9 years agomerged
akhi akhi@inf.ethz.ch [Wed, 24 Aug 2011 13:07:11 +0000]
merged

9 years agoBug fixes by Alex on his multihop code and updates to the routing tech note.
akhi akhi@inf.ethz.ch [Wed, 24 Aug 2011 13:06:29 +0000]
Bug fixes by Alex on his multihop code and updates to the routing tech note.

9 years agoAdded address-space measurements for the SCC
Stefan Kästle [Mon, 22 Aug 2011 09:23:02 +0000]
Added address-space measurements for the SCC

9 years agoApply the multihop patch by alexander grest based on his bachelor thesis
akhi akhi@inf.ethz.ch [Tue, 16 Aug 2011 15:40:23 +0000]
Apply the multihop patch by alexander grest based on his bachelor thesis

9 years agoremoved few debug prints
pravin@inf.ethz.ch [Mon, 15 Aug 2011 20:11:55 +0000]
removed few debug prints

9 years agoFixed the command line argument issue with vmkit test
pravin@inf.ethz.ch [Mon, 15 Aug 2011 20:07:53 +0000]
Fixed the command line argument issue with vmkit test

9 years agoFixed the bug in the continuation management code
pravin@inf.ethz.ch [Mon, 15 Aug 2011 19:56:39 +0000]
Fixed the bug in the continuation management code

9 years agoICC compilation fixes
Andrew Baumann [Wed, 10 Aug 2011 23:03:49 +0000]
ICC compilation fixes

9 years agoquieten another printf which can occur if a packet arrives during startup and lead...
Andrew Baumann [Wed, 10 Aug 2011 21:08:39 +0000]
quieten another printf which can occur if a packet arrives during startup and lead to an infinite loop of printing

as discussed, this needs to be fixed properly by not enabling receive until we're ready to receive packets

9 years agonetd: warn the user and exit cleanly if a newly-required command-line option isn...
Andrew Baumann [Wed, 10 Aug 2011 20:38:54 +0000]
netd: warn the user and exit cleanly if a newly-required command-line option isn't present

FWIW, in the absence of a service discovery mechanism, I think we
should be using generic names like eth0 eth1 etc. to name network
interfaces, rather than having to wire driver names into every
application's command-line arguments.

9 years agodon't print debug output for an expected error
Andrew Baumann [Wed, 10 Aug 2011 20:37:33 +0000]
don't print debug output for an expected error

9 years agomerged
Andrew Baumann [Wed, 10 Aug 2011 19:11:20 +0000]
merged

9 years agopci: reduce minimum chunking granularity in physmem allocator to 1 (i.e. 2 caps at...
Andrew Baumann [Wed, 10 Aug 2011 19:02:18 +0000]
pci: reduce minimum chunking granularity in physmem allocator to 1 (i.e. 2 caps at each level)

This wastes memory, but is needed to ensure that we can always
allocate caps to BARs at the correct granularity. I needed it to get
the framebuffer cap working on an Nvidia card; hopefully it doesn't
break other hardware :(

9 years agovbe: extended interface to support cards with a framebuffer in the middle of a BAR
Andrew Baumann [Wed, 10 Aug 2011 18:53:47 +0000]
vbe: extended interface to support cards with a framebuffer in the middle of a BAR

also cleaned up types: errval_t rather than int!

9 years agocompilation fixup after merge
Andrew Baumann [Wed, 10 Aug 2011 16:31:13 +0000]
compilation fixup after merge

9 years agomerged, manually
Andrew Baumann [Wed, 10 Aug 2011 16:22:38 +0000]
merged, manually

9 years agoFixed the lines which were causing problems in detecting the IP
pravin@inf.ethz.ch [Wed, 10 Aug 2011 09:38:43 +0000]
Fixed the lines which were causing problems in detecting the IP
address by harness.

9 years agoFixed the line which was causing problem in detection of IP address
pravin@inf.ethz.ch [Wed, 10 Aug 2011 09:23:37 +0000]
Fixed the line which was causing problem in detection of IP address

9 years agoe1000: trivial debug/error checking changes
Andrew Baumann [Wed, 10 Aug 2011 00:12:36 +0000]
e1000: trivial debug/error checking changes

9 years agoe1000: improvements to MAC programming/handling code allowing the driver to work...
Andrew Baumann [Wed, 10 Aug 2011 00:12:00 +0000]
e1000: improvements to MAC programming/handling code allowing the driver to work on more cards

1. If a  valid MAC is already present in  the card's config registers,
   skip trying  to read it from  EEPROM (which is  different between many
   models of e1000)  and just use the value  that's already present. This
   was enough to get the driver working on an 82567.
2. Allow the user to specify the MAC address as a command-line parameter.

9 years agolpc_kbd: wait for buffers to drain rather than just asserting that they did
Andrew Baumann [Wed, 10 Aug 2011 00:06:06 +0000]
lpc_kbd: wait for buffers to drain rather than just asserting that they did

(happens on real HW)

9 years agomonitor: remove unused variable
Andrew Baumann [Wed, 10 Aug 2011 00:05:20 +0000]
monitor: remove unused variable

9 years agonetd: fix format strings, extra assertions to catch filter compilation failures
Andrew Baumann [Wed, 10 Aug 2011 00:05:08 +0000]
netd: fix format strings, extra assertions to catch filter compilation failures

9 years agonetd: sanely handle and report changes to the IP address after initially configured
Andrew Baumann [Wed, 10 Aug 2011 00:04:44 +0000]
netd: sanely handle and report changes to the IP address after initially configured

... this can happen if the DHCP server decides to change our IP, or refuse a renewal

9 years agonfs: correctly handle mount failures
Andrew Baumann [Wed, 10 Aug 2011 00:03:34 +0000]
nfs: correctly handle mount failures

The error reporting and handling in the NFS API is really crappy
anyway, but at least pass the NULL in the right place to prevent a
page fault on mount failures...

9 years agodon't (unconditionally) print a message when dropping a packet
Andrew Baumann [Wed, 10 Aug 2011 00:02:45 +0000]
don't (unconditionally) print a message when dropping a packet

The specific problem that led to this was a network with a high rate
of broadcast traffic. We hit this printf if a packet arrives in the
window between netd connecting to e1000 and finishing buffer
registration. If the rate of packet arrival was higher than the rate
of printfs (not unusual with our serial driver), we'd loop forever
telling the user that we were discarding packets without actually
making progress.

9 years agobfdmuxtools: construct filters with %u not %d format strings
Andrew Baumann [Wed, 10 Aug 2011 00:00:57 +0000]
bfdmuxtools: construct filters with %u not %d format strings

... I had a problem where filter compilation was failing on a negative
number. Since all integers are parsed with strtoul or strtoumax, I
believe the only sane thing to do is generate them all with %u.

9 years agoRemoved the offending debug message from code
pravin@inf.ethz.ch [Tue, 9 Aug 2011 16:22:59 +0000]
Removed the offending debug message from code

9 years agoRemoved the default small network (QEMU_NETWORK_SUPPORT) configuration option.
pravin@inf.ethz.ch [Tue, 9 Aug 2011 15:13:24 +0000]
Removed the default small network (QEMU_NETWORK_SUPPORT) configuration option.
Added net-test to x86_64 architecture

9 years agoApplying the diff with my tree as patch
pravin@inf.ethz.ch [Tue, 9 Aug 2011 15:09:35 +0000]
Applying the diff with my tree as patch

9 years agoFixed bug in the Glossary Haskell source (don't close stdout!).
Mothy [Mon, 8 Aug 2011 12:49:08 +0000]
Fixed bug in the Glossary Haskell source (don't close stdout!).
Added missing dependencies in Flounder interfaces in the distributed memory sever.
Fixed some make rehake bugs in symbolic_targets.mk.

9 years agoKicking harness once more.
Simon Peter [Sat, 6 Aug 2011 07:15:49 +0000]
Kicking harness once more.

9 years agomackerel: fix minor bug that prevented changing the device prefix for the new shift...
Andrew Baumann [Fri, 5 Aug 2011 18:54:12 +0000]
mackerel: fix minor bug that prevented changing the device prefix for the new shift driver

9 years agoFixed spawn_program_on_all_cores() to check first whether a spawnd is
Simon Peter [Thu, 4 Aug 2011 14:32:00 +0000]
Fixed spawn_program_on_all_cores() to check first whether a spawnd is
running before trying to spawn a program on that core.

9 years agoDummy commit to kick harness.
Simon Peter [Wed, 3 Aug 2011 09:40:05 +0000]
Dummy commit to kick harness.

9 years agoFix tcpip.c.
Simon Peter [Wed, 3 Aug 2011 09:13:26 +0000]
Fix tcpip.c.

9 years agostack-rip send of intermon.bind_monitor_reply
Andrew Baumann [Tue, 2 Aug 2011 17:04:18 +0000]
stack-rip send of intermon.bind_monitor_reply

9 years agoRemoved Unicode characters from eMAC.dev. Mackerel can't handle them.
Simon Peter [Tue, 2 Aug 2011 15:51:24 +0000]
Removed Unicode characters from eMAC.dev. Mackerel can't handle them.

9 years agoGnaa! Shouldn't have used hg import to get the patch. Removing a lot of junk
Simon Peter [Tue, 2 Aug 2011 15:38:48 +0000]
Gnaa! Shouldn't have used hg import to get the patch. Removing a lot of junk
that shouldn't have gone in with the last commit.

9 years agoThese files are supposed to be deleted.
Simon Peter [Tue, 2 Aug 2011 15:23:11 +0000]
These files are supposed to be deleted.

9 years agoMerge from ASPLOS tree.
Simon Peter [Tue, 2 Aug 2011 15:19:48 +0000]
Merge from ASPLOS tree.

9 years agoModification of license just to test notification emails
Stefan Kästle [Wed, 20 Jul 2011 15:06:43 +0000]
Modification of license just to test notification emails

9 years agoanother attempt at an ICC&GCC fix for asmoffsets
Andrew Baumann [Mon, 18 Jul 2011 23:15:46 +0000]
another attempt at an ICC&GCC fix for asmoffsets

9 years ago32-bit fix
Andrew Baumann [Mon, 18 Jul 2011 23:13:32 +0000]
32-bit fix

9 years agoGCC compilation fixes for ICC compilation fixes
Andrew Baumann [Mon, 18 Jul 2011 23:05:09 +0000]
GCC compilation fixes for ICC compilation fixes

(sigh...)

9 years agoanother icc build fix
Andrew Baumann [Mon, 18 Jul 2011 21:36:14 +0000]
another icc build fix

9 years agofixes to enable compilation with ICC
Andrew Baumann [Mon, 18 Jul 2011 21:23:29 +0000]
fixes to enable compilation with ICC

The primary changes are avoiding pointer arithmetic on void * types, which is
evidently a GCCism: instead a byte-sized pointer type should be used.

Other changes include workarounds to avoid uninitialised variable warnings,
and an insistence that const values have an initialiser (being static and implicitly
initialised to zero isn't sufficient).

9 years agofix behaviour of kernel_loglevel to be a little more sane
Andrew Baumann [Mon, 18 Jul 2011 21:20:38 +0000]
fix behaviour of kernel_loglevel to be a little more sane

setting the log level to LOG_DEBUG should get you the LOG_DEBUG messages!

9 years agoadded 64-bit support to dite
Andrew Baumann [Mon, 18 Jul 2011 21:19:13 +0000]
added 64-bit support to dite

This actually turned out not to be what I needed, but I'm hopeful it
may prove useful in the future. Also added support for real
command-line arguments, including specifying the output file as an
argument rather than in the config file.

--HG--
rename : kernel/include/arch/scc/diteinfo.h => kernel/include/diteinfo.h

9 years agomerged
Andrew Baumann [Mon, 18 Jul 2011 20:18:47 +0000]
merged

9 years agodon't clobber the user's menu.lst without making a backup first
Andrew Baumann [Mon, 18 Jul 2011 20:17:42 +0000]
don't clobber the user's menu.lst without making a backup first

I still don't think our handling of menu.lst makes much sense, but
this is an incremental tweak that fixes one irritation: every time the
default menu.lst changed in the tree, my private version got clobbered.

9 years agoadded version of vspace_map_file with explicit alignment constraint
Andrew Baumann [Mon, 18 Jul 2011 20:11:51 +0000]
added version of vspace_map_file with explicit alignment constraint

9 years agoUpdate another license file to test sends of commit msgs on pushes
Stefan Kästle [Mon, 18 Jul 2011 11:58:53 +0000]
Update another license file to test sends of commit msgs on pushes

9 years agoUpdate license file to test sends of commit msgs on pushes
Stefan Kästle [Mon, 18 Jul 2011 08:25:10 +0000]
Update license file to test sends of commit msgs on pushes

9 years agoFiles is not Intel confidential any more.
Stefan Kästle [Thu, 14 Jul 2011 08:36:54 +0000]
Files is not Intel confidential any more.

9 years agoAdded list of files to be ignored by mercurial.
Stefan Kästle [Fri, 8 Jul 2011 18:20:03 +0000]
Added list of files to be ignored by mercurial.

9 years agoInitial version of public stable barrelfish repository.
Stefan Kästle [Fri, 8 Jul 2011 15:14:56 +0000]
Initial version of public stable barrelfish repository.