barrelfish
4 years agoSockeye TN: Complete syntax chapter
Daniel Schwyn [Wed, 26 Jul 2017 13:39:51 +0000]
Sockeye TN: Complete syntax chapter

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye TN: Add description of template indentifiers
Daniel Schwyn [Wed, 26 Jul 2017 09:26:36 +0000]
Sockeye TN: Add description of template indentifiers

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye TN: More updates
Daniel Schwyn [Tue, 25 Jul 2017 15:59:25 +0000]
Sockeye TN: More updates

- Use modules in examples
- Update lexical conventions and some of the syntax
- Update prolog mapping

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye TN: Update usage info
Daniel Schwyn [Mon, 24 Jul 2017 16:03:22 +0000]
Sockeye TN: Update usage info

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Improve import handling
Daniel Schwyn [Mon, 24 Jul 2017 15:50:11 +0000]
Sockeye: Improve import handling

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye TN: Add short introduction about decoding nets
Daniel Schwyn [Mon, 24 Jul 2017 12:30:40 +0000]
Sockeye TN: Add short introduction about decoding nets

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: TN remove limitations chapter, update hake chapter
Daniel Schwyn [Mon, 24 Jul 2017 09:13:01 +0000]
Sockeye: TN remove limitations chapter, update hake chapter

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye TN: adapt example to syntax changes
Daniel Schwyn [Mon, 24 Jul 2017 09:07:03 +0000]
Sockeye TN: adapt example to syntax changes

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMerge remote-tracking branch 'upstream/master' into sockeye
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>

4 years agoMerge branch 'sockeye-modules' into sockeye
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>

4 years agoxeon_phi: fix compilation with full debug enabled
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>

4 years agok1om: fixing initialization of apic timer interrupts
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>

4 years agoK1OM: fixing patch to change the elf type for CPU driver
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>

4 years agoweever: differentiate error values from elfload
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>

4 years agoharness: adding netsockets server to xeon phi test
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>

4 years agocdefs: do not use __nonnull function argument attribute
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>

4 years agosolarflare: adding missing flounder defs to hakefile
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>

4 years agooctopus: remove include to flounder file in public include
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>

4 years agoarmv8: fixing menu.lst files and adding bootdriver to the platforms
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>

4 years agoHake: Ddd dependency tracking for sockeye
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>

4 years agoSockeye: Enable generating make depend file during compilation
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>

4 years agoStart modularizing omap44xx spec
Daniel Schwyn [Thu, 20 Jul 2017 16:17:39 +0000]
Start modularizing omap44xx spec

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Enable generation of dependency file
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>

4 years agoSockeye: Fix import system
Daniel Schwyn [Thu, 20 Jul 2017 13:55:12 +0000]
Sockeye: Fix import system

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Add possibility to add reserved blocks
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>

4 years agoAdapt OMAP44xx spec to new sockeye
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>

4 years agoSockeye: clean up
Daniel Schwyn [Wed, 19 Jul 2017 14:19:12 +0000]
Sockeye: clean up

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Handle arbitrary large numbers
Daniel Schwyn [Wed, 19 Jul 2017 14:03:02 +0000]
Sockeye: Handle arbitrary large numbers

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoDecodingNet: Adapt resolution and queries to nodes without overlay
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>

4 years agoSockeye: Finish implementation of overlay to map translation
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>

4 years agoSockeye: Start implementing overley to map translation
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>

4 years agoSockeye: Switch default mapping to 0x0 if no base address given
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>

4 years agoSockeye: Implement import support
Daniel Schwyn [Tue, 18 Jul 2017 12:32:27 +0000]
Sockeye: Implement import support

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoUpdate omap44xx spec to new Sockeye syntax
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>

4 years agoSockeye: Represent NodeId as name + namespace list in Prolog
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>

4 years agoSockeye: Remove debug imports
Daniel Schwyn [Fri, 14 Jul 2017 15:11:01 +0000]
Sockeye: Remove debug imports

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Implement port mappings
Daniel Schwyn [Fri, 14 Jul 2017 14:20:16 +0000]
Sockeye: Implement port mappings

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agonet,loopback: small fix
Adam Turowski [Fri, 14 Jul 2017 13:52:04 +0000]
net,loopback: small fix

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet: adding a loopback interface
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>

4 years agoSockeye: Implement proper module instantiation check
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>

4 years agoSockeye: Start implementing decoding net transformation
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>

4 years agoSockeye: Finish AST simplification
Daniel Schwyn [Thu, 13 Jul 2017 19:21:38 +0000]
Sockeye: Finish AST simplification

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Start implementing new simplification approach for net builder
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>

4 years agoSockeye: Start implementing port mappings
Daniel Schwyn [Wed, 12 Jul 2017 16:02:36 +0000]
Sockeye: Start implementing port mappings

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Adapt prolog backend to new AST
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>

4 years agoSockeye: Implement checks in net builder
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>

4 years agoSockeye: Better naming for some AST types
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>

4 years agoSockeye: Implement nodeSpec conversion
Daniel Schwyn [Wed, 12 Jul 2017 09:02:45 +0000]
Sockeye: Implement nodeSpec conversion

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoMerge branch 'bsdlibc'
Adam Turowski [Tue, 11 Jul 2017 13:27:38 +0000]
Merge branch 'bsdlibc'

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoSockeye: Start implementation of net builder
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>

4 years agoRemoving ssh
Adam Turowski [Tue, 11 Jul 2017 10:23:32 +0000]
Removing ssh

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoFixing compilation issues on x86_64 and armv8
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>

4 years agoFix platform file.
Gerd Zellweger [Tue, 11 Jul 2017 09:52:35 +0000]
Fix platform file.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

4 years agoRemove debug print in waitset.c
Gerd Zellweger [Tue, 11 Jul 2017 09:12:00 +0000]
Remove debug print in waitset.c

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

4 years agohake: removing an unknown warning option from the x86_64 target
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>

4 years agonet: adding command-line IP configuration options
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>

4 years agonet_sockets: some TCP fixups
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>

4 years agoSockeye: Start implementation of net builder
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>

4 years agoSockeye: Add check for self instantiation
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>

4 years agoChange the pandaboard drivers to new driver format.
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>

4 years agoSockeye: Checker code improvements
Daniel Schwyn [Fri, 7 Jul 2017 15:17:11 +0000]
Sockeye: Checker code improvements

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Refactor ASTs
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>

4 years agoSockeye: Add stub for net builder
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>

4 years agoSockeye: Rename 'int' type to 'nat'
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>

4 years agoSockeye: Better error messages for checker
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>

4 years agoSockeye: Cleanup checker
Daniel Schwyn [Fri, 7 Jul 2017 08:17:30 +0000]
Sockeye: Cleanup checker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Checker now checks everything
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>

4 years agoSockeye: Finish checker for NodeSpec
Daniel Schwyn [Thu, 6 Jul 2017 20:24:09 +0000]
Sockeye: Finish checker for NodeSpec

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Checker almost finished
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>

4 years agoharness: adjusting http tests to a new network stack
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>

4 years agotftpclient: converting to net sockets
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>

4 years agoSockeye: Start implementation of checker
Daniel Schwyn [Thu, 6 Jul 2017 09:17:37 +0000]
Sockeye: Start implementation of checker

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agonet: enabling DHCP
Adam Turowski [Tue, 4 Jul 2017 09:56:36 +0000]
net: enabling DHCP

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoSockeye: fix typo
Daniel Schwyn [Tue, 4 Jul 2017 09:06:49 +0000]
Sockeye: fix typo

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Allow to instantiate modules with inlined range in name space
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>

4 years agoSockeye: Allow to use inlined for in node decls
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>

4 years agoSockeye: Refactoring
Daniel Schwyn [Tue, 4 Jul 2017 08:36:41 +0000]
Sockeye: Refactoring

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Allow do define port mappings with inline range in identifier
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>

4 years agoharness: changing tests to net sockets
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>

4 years agonet_sockets: e1000 server
Adam Turowski [Mon, 26 Jun 2017 13:51:00 +0000]
net_sockets: e1000 server

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agonet: converting lwip types to bsd types
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>

4 years agonet_sockets: converting nfs
Adam Turowski [Wed, 7 Jun 2017 10:54:18 +0000]
net_sockets: converting nfs

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoSockeye: Allow to define ports with inline range in identifier
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>

4 years agoKaluga modifications to start domain.
Gerd Zellweger [Mon, 3 Jul 2017 09:38:38 +0000]
Kaluga modifications to start domain.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

4 years agoSockeye: Fix Identifier parsing
Daniel Schwyn [Mon, 3 Jul 2017 08:36:37 +0000]
Sockeye: Fix Identifier parsing

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Introduce for loops
Daniel Schwyn [Fri, 30 Jun 2017 20:47:04 +0000]
Sockeye: Introduce for loops

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Only one list for port mappings
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>

4 years agoSockeye: Correct file headers for ASTs
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>

4 years agoSockeye: Better error messages for parser
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>

4 years agoSockeye: Parser for new syntax
Daniel Schwyn [Fri, 30 Jun 2017 15:53:10 +0000]
Sockeye: Parser for new syntax

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: WIP: Parser for new syntax
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>

4 years agok1om: some fix-ups
Adam Turowski [Fri, 30 Jun 2017 15:05:19 +0000]
k1om: some fix-ups

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

4 years agoSockeye: Correct imports
Daniel Schwyn [Fri, 30 Jun 2017 08:19:07 +0000]
Sockeye: Correct imports

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoSockeye: Complete new AST for Frontend
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>

4 years agoSockeye: New AST for Frontend
Daniel Schwyn [Thu, 29 Jun 2017 14:18:02 +0000]
Sockeye: New AST for Frontend

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoTechnote: Add TODOs for missing parts
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>

4 years agoCommit SDMA driver changes.
Gerd Zellweger [Tue, 27 Jun 2017 11:20:05 +0000]
Commit SDMA driver changes.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

4 years agoTechnote: Compile Sockeye examples as part of build process
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>

4 years agoTechnote: Add more syntax examples
Daniel Schwyn [Mon, 26 Jun 2017 14:13:52 +0000]
Technote: Add more syntax examples

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

4 years agoBackport OMAP44xx spec changes from page-tables branch
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>