Daniel Schwyn [Mon, 24 Jul 2017 08:27:44 +0000]
Merge remote-tracking branch 'upstream/master' into sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 24 Jul 2017 08:17:22 +0000]
Merge branch 'sockeye-modules' into sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 20:29:03 +0000]
xeon_phi: fix compilation with full debug enabled
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 20:25:25 +0000]
k1om: fixing initialization of apic timer interrupts
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 18:08:21 +0000]
K1OM: fixing patch to change the elf type for CPU driver
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 14:54:10 +0000]
weever: differentiate error values from elfload
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 14:25:15 +0000]
harness: adding netsockets server to xeon phi test
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 07:03:11 +0000]
cdefs: do not use __nonnull function argument attribute
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sun, 23 Jul 2017 07:02:17 +0000]
solarflare: adding missing flounder defs to hakefile
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 22 Jul 2017 15:30:28 +0000]
octopus: remove include to flounder file in public include
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Reto Achermann [Sat, 22 Jul 2017 15:28:56 +0000]
armv8: fixing menu.lst files and adding bootdriver to the platforms
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Daniel Schwyn [Fri, 21 Jul 2017 09:25:23 +0000]
Hake: Ddd dependency tracking for sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 21 Jul 2017 09:09:19 +0000]
Sockeye: Enable generating make depend file during compilation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 20 Jul 2017 16:17:39 +0000]
Start modularizing omap44xx spec
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 20 Jul 2017 16:01:27 +0000]
Sockeye: Enable generation of dependency file
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 20 Jul 2017 13:55:12 +0000]
Sockeye: Fix import system
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 20 Jul 2017 09:00:04 +0000]
Sockeye: Add possibility to add reserved blocks
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 19 Jul 2017 14:29:25 +0000]
Adapt OMAP44xx spec to new sockeye
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 19 Jul 2017 14:19:12 +0000]
Sockeye: clean up
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 19 Jul 2017 14:03:02 +0000]
Sockeye: Handle arbitrary large numbers
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 19 Jul 2017 13:54:46 +0000]
DecodingNet: Adapt resolution and queries to nodes without overlay
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 19 Jul 2017 13:42:01 +0000]
Sockeye: Finish implementation of overlay to map translation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 18 Jul 2017 16:18:23 +0000]
Sockeye: Start implementing overley to map translation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 18 Jul 2017 12:54:00 +0000]
Sockeye: Switch default mapping to 0x0 if no base address given
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 18 Jul 2017 12:32:27 +0000]
Sockeye: Implement import support
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 18 Jul 2017 08:47:06 +0000]
Update omap44xx spec to new Sockeye syntax
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 17 Jul 2017 09:00:49 +0000]
Sockeye: Represent NodeId as name + namespace list in Prolog
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 14 Jul 2017 15:11:01 +0000]
Sockeye: Remove debug imports
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 14 Jul 2017 14:20:16 +0000]
Sockeye: Implement port mappings
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Fri, 14 Jul 2017 13:52:04 +0000]
net,loopback: small fix
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Fri, 14 Jul 2017 11:40:08 +0000]
net: adding a loopback interface
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Fri, 14 Jul 2017 09:05:42 +0000]
Sockeye: Implement proper module instantiation check
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 13 Jul 2017 20:42:10 +0000]
Sockeye: Start implementing decoding net transformation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 13 Jul 2017 19:21:38 +0000]
Sockeye: Finish AST simplification
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 13 Jul 2017 15:59:37 +0000]
Sockeye: Start implementing new simplification approach for net builder
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 12 Jul 2017 16:02:36 +0000]
Sockeye: Start implementing port mappings
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 12 Jul 2017 14:56:54 +0000]
Sockeye: Adapt prolog backend to new AST
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 12 Jul 2017 12:31:28 +0000]
Sockeye: Implement checks in net builder
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 12 Jul 2017 09:09:15 +0000]
Sockeye: Better naming for some AST types
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Wed, 12 Jul 2017 09:02:45 +0000]
Sockeye: Implement nodeSpec conversion
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Tue, 11 Jul 2017 13:27:38 +0000]
Merge branch 'bsdlibc'
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Tue, 11 Jul 2017 12:44:04 +0000]
Sockeye: Start implementation of net builder
TODO:
- Node specs
- Port mappings
- Checks
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Tue, 11 Jul 2017 10:23:32 +0000]
Removing ssh
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 11 Jul 2017 10:12:59 +0000]
Fixing compilation issues on x86_64 and armv8
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Gerd Zellweger [Tue, 11 Jul 2017 09:52:35 +0000]
Fix platform file.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Gerd Zellweger [Tue, 11 Jul 2017 09:12:00 +0000]
Remove debug print in waitset.c
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Adam Turowski [Tue, 11 Jul 2017 09:02:54 +0000]
hake: removing an unknown warning option from the x86_64 target
harness: do an actual read in the webserver stress test
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Tue, 11 Jul 2017 08:29:40 +0000]
net: adding command-line IP configuration options
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 10 Jul 2017 15:18:51 +0000]
net_sockets: some TCP fixups
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 16:22:20 +0000]
Sockeye: Start implementation of net builder
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 15:34:42 +0000]
Sockeye: Add check for self instantiation
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Gerd Zellweger [Fri, 7 Jul 2017 15:19:30 +0000]
Change the pandaboard drivers to new driver format.
This includes major refactoring in Kaluga, SDMA, MMCHS, FDIF drivers
along with the addition of new drivers such as cm2, twl6030 etc.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Daniel Schwyn [Fri, 7 Jul 2017 15:17:11 +0000]
Sockeye: Checker code improvements
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 14:49:49 +0000]
Sockeye: Refactor ASTs
Also get rid of debugging backend
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 14:34:23 +0000]
Sockeye: Add stub for net builder
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 13:54:35 +0000]
Sockeye: Rename 'int' type to 'nat'
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 12:32:25 +0000]
Sockeye: Better error messages for checker
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 7 Jul 2017 08:17:30 +0000]
Sockeye: Cleanup checker
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 6 Jul 2017 22:03:48 +0000]
Sockeye: Checker now checks everything
TODO:
- Better error messages
- Clean up
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 6 Jul 2017 20:24:09 +0000]
Sockeye: Finish checker for NodeSpec
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 6 Jul 2017 16:19:22 +0000]
Sockeye: Checker almost finished
TODO: check module instantiations
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Thu, 6 Jul 2017 12:11:12 +0000]
harness: adjusting http tests to a new network stack
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 6 Jul 2017 09:20:28 +0000]
tftpclient: converting to net sockets
net_sockets: adding local/remote addresses/ports to the net_socket structure
net,dhcp: adding a possibility of setting of static IP
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Thu, 6 Jul 2017 09:17:37 +0000]
Sockeye: Start implementation of checker
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Tue, 4 Jul 2017 09:56:36 +0000]
net: enabling DHCP
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Tue, 4 Jul 2017 09:06:49 +0000]
Sockeye: fix typo
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 4 Jul 2017 08:59:46 +0000]
Sockeye: Allow to instantiate modules with inlined range in name space
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 4 Jul 2017 08:50:57 +0000]
Sockeye: Allow to use inlined for in node decls
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 4 Jul 2017 08:36:41 +0000]
Sockeye: Refactoring
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 4 Jul 2017 07:56:41 +0000]
Sockeye: Allow do define port mappings with inline range in identifier
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Mon, 3 Jul 2017 15:12:03 +0000]
harness: changing tests to net sockets
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 26 Jun 2017 13:51:00 +0000]
net_sockets: e1000 server
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 26 Jun 2017 09:23:01 +0000]
net: converting lwip types to bsd types
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Wed, 7 Jun 2017 10:54:18 +0000]
net_sockets: converting nfs
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Mon, 3 Jul 2017 13:55:28 +0000]
Sockeye: Allow to define ports with inline range in identifier
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Gerd Zellweger [Mon, 3 Jul 2017 09:38:38 +0000]
Kaluga modifications to start domain.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Daniel Schwyn [Mon, 3 Jul 2017 08:36:37 +0000]
Sockeye: Fix Identifier parsing
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 20:47:04 +0000]
Sockeye: Introduce for loops
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 18:39:26 +0000]
Sockeye: Only one list for port mappings
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 18:32:58 +0000]
Sockeye: Correct file headers for ASTs
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 16:14:48 +0000]
Sockeye: Better error messages for parser
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 15:53:10 +0000]
Sockeye: Parser for new syntax
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 15:17:14 +0000]
Sockeye: WIP: Parser for new syntax
TODO:
- Module instantiations
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Fri, 30 Jun 2017 15:05:19 +0000]
k1om: some fix-ups
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 08:19:07 +0000]
Sockeye: Correct imports
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Fri, 30 Jun 2017 07:50:58 +0000]
Sockeye: Complete new AST for Frontend
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Thu, 29 Jun 2017 14:18:02 +0000]
Sockeye: New AST for Frontend
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Tue, 27 Jun 2017 12:47:16 +0000]
Technote: Add TODOs for missing parts
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Gerd Zellweger [Tue, 27 Jun 2017 11:20:05 +0000]
Commit SDMA driver changes.
Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
Daniel Schwyn [Tue, 27 Jun 2017 10:59:44 +0000]
Technote: Compile Sockeye examples as part of build process
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 26 Jun 2017 14:13:52 +0000]
Technote: Add more syntax examples
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Daniel Schwyn [Mon, 26 Jun 2017 14:22:41 +0000]
Backport OMAP44xx spec changes from page-tables branch
Also rename from omap4460 to omap44xx
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
Adam Turowski [Fri, 23 Jun 2017 10:32:31 +0000]
compiler-rt: removing an arm abi override, defaulting to compiler's
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 22:37:47 +0000]
devif_test: fixing e10k queue constructor call
fvp: reverting the fvp path
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 14:00:21 +0000]
armv7: save vfp context (at least part of it)
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 13:05:18 +0000]
armv7: moving do_resume from the general arm part (which didn't work for armv8 anyway) to the armv7 section
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 11:55:32 +0000]
rpc_cap_test: adding missing include
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 09:41:33 +0000]
gdtoa: fixing Hakefile
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Thu, 22 Jun 2017 08:59:09 +0000]
harness: call hake with a proper architecture
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
Adam Turowski [Mon, 19 Jun 2017 15:11:19 +0000]
libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>