barrelfish
4 years agoRename new sockeye binary to sockeye2
Daniel Schwyn [Tue, 30 May 2017 08:06:03 +0000]
Rename new sockeye binary to sockeye2

Resolves conflicts with old sockeye during build

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

4 years agoAdd first versions of predicates for configuration queries
Daniel Schwyn [Wed, 24 May 2017 14:00:54 +0000]
Add first versions of predicates for configuration queries

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

4 years agoAdd predicates to print all origin/target ranges of a node
Daniel Schwyn [Tue, 23 May 2017 10:17:21 +0000]
Add predicates to print all origin/target ranges of a node

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

4 years agoRefactor predicates
Daniel Schwyn [Tue, 23 May 2017 08:13:44 +0000]
Refactor predicates

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

4 years agomake net predicate dynamic
Daniel Schwyn [Tue, 23 May 2017 08:14:20 +0000]
make net predicate dynamic

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

4 years agoPredicates: Use constraints for addresses and backtracking for nodes
Daniel Schwyn [Mon, 22 May 2017 14:43:46 +0000]
Predicates: Use constraints for addresses and backtracking for nodes

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

4 years agoStart using constraints for decoding net predicates
Daniel Schwyn [Fri, 19 May 2017 15:32:09 +0000]
Start using constraints for decoding net predicates

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

4 years agoMake sure the @none for null-overlays is treated as an atom
Daniel Schwyn [Fri, 19 May 2017 15:06:04 +0000]
Make sure the @none for null-overlays is treated as an atom

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

4 years agoFix translate predicate
Daniel Schwyn [Fri, 19 May 2017 14:55:27 +0000]
Fix translate predicate

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

4 years agoFix order in some predicates to make search tree (considerably) smaller
Daniel Schwyn [Thu, 18 May 2017 22:12:21 +0000]
Fix order in some predicates to make search tree (considerably) smaller

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

4 years agoMake sure atoms start with lower case
Daniel Schwyn [Thu, 18 May 2017 22:11:33 +0000]
Make sure atoms start with lower case

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

4 years agodecoding net predicates (need to be moved to SKB at some point)
Daniel Schwyn [Thu, 18 May 2017 15:44:15 +0000]
decoding net predicates (need to be moved to SKB at some point)

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

4 years agoFirst take on Prolog backend
Daniel Schwyn [Thu, 18 May 2017 14:01:04 +0000]
First take on Prolog backend

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

4 years agoUse unlines to print lines
Daniel Schwyn [Thu, 18 May 2017 08:06:03 +0000]
Use unlines to print lines

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

4 years agoAdd stub for prolog backend
Daniel Schwyn [Wed, 17 May 2017 16:05:36 +0000]
Add stub for prolog backend

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

4 years agoAdd option to specify output file
Daniel Schwyn [Wed, 17 May 2017 15:46:49 +0000]
Add option to specify output file

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

4 years agoAllow '_' in identifiers
Daniel Schwyn [Wed, 17 May 2017 11:53:26 +0000]
Allow '_' in identifiers

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

4 years agoImprove option handling
Daniel Schwyn [Thu, 11 May 2017 16:16:27 +0000]
Improve option handling

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

4 years agoAdd support for plugin in different backends
Daniel Schwyn [Thu, 11 May 2017 15:45:08 +0000]
Add support for plugin in different backends

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

4 years agoClean up
Daniel Schwyn [Thu, 11 May 2017 15:19:28 +0000]
Clean up

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

4 years agoAdd support for multiple destinations in map
Daniel Schwyn [Thu, 11 May 2017 15:00:39 +0000]
Add support for multiple destinations in map

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

4 years agoAdd support for ommitting destination address in map
Daniel Schwyn [Thu, 11 May 2017 14:10:17 +0000]
Add support for ommitting destination address in map

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

4 years agoImprove error message for failed check
Daniel Schwyn [Thu, 11 May 2017 13:58:55 +0000]
Improve error message for failed check

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

4 years agoAdd check for references to undefined nodes
Daniel Schwyn [Thu, 11 May 2017 11:49:06 +0000]
Add check for references to undefined nodes

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

4 years agoRefactor AST
Daniel Schwyn [Thu, 11 May 2017 08:50:14 +0000]
Refactor AST

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

4 years agoAdd check for duplicate identifiers
Daniel Schwyn [Thu, 11 May 2017 08:00:27 +0000]
Add check for duplicate identifiers

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

4 years agoAdd support for specifying blocks via prefix/length
Daniel Schwyn [Wed, 10 May 2017 14:01:24 +0000]
Add support for specifying blocks via prefix/length

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

4 years agoImprove parse error messages for node specs
Daniel Schwyn [Wed, 10 May 2017 13:29:22 +0000]
Improve parse error messages for node specs

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

4 years agoRefactor to match abstract syntax in paper more closely
Daniel Schwyn [Wed, 10 May 2017 12:56:41 +0000]
Refactor to match abstract syntax in paper more closely

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

4 years agoEnsure parser reaches end of file
Daniel Schwyn [Wed, 10 May 2017 08:58:28 +0000]
Ensure parser reaches end of file

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

4 years agoAdd support for adding multiple nodes at once with the 'are' keyword
Daniel Schwyn [Wed, 10 May 2017 08:46:00 +0000]
Add support for adding multiple nodes at once with the 'are' keyword

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

4 years agoAdd parser support for overlay. !!Will be parsed but ignored atm!!
Daniel Schwyn [Tue, 9 May 2017 15:43:17 +0000]
Add parser support for overlay. !!Will be parsed but ignored atm!!

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

4 years agoAdd support for omitting accept or translate block
Daniel Schwyn [Tue, 9 May 2017 15:36:31 +0000]
Add support for omitting accept or translate block

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

4 years agoSupport parsing singleton address blocks
Daniel Schwyn [Tue, 9 May 2017 14:18:09 +0000]
Support parsing singleton address blocks

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

4 years agoSome cleanup
Daniel Schwyn [Tue, 9 May 2017 14:09:40 +0000]
Some cleanup

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

4 years agoAdd hakefile
Daniel Schwyn [Tue, 9 May 2017 13:51:02 +0000]
Add hakefile

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

4 years agoSome refactoring in main file
Daniel Schwyn [Tue, 9 May 2017 13:48:59 +0000]
Some refactoring in main file

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

4 years agoAdd compiler main function, just runs parser and prints the AST for now
Daniel Schwyn [Tue, 9 May 2017 11:38:45 +0000]
Add compiler main function, just runs parser and prints the AST for now

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

4 years agoBetter error message for addresses
Daniel Schwyn [Tue, 9 May 2017 08:00:55 +0000]
Better error message for addresses

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

4 years agoSmall refactoring
Daniel Schwyn [Mon, 8 May 2017 16:49:31 +0000]
Small refactoring

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

4 years agoFirst take at Sockeye Parser
Daniel Schwyn [Mon, 8 May 2017 16:14:30 +0000]
First take at Sockeye Parser

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

4 years agoFirst take on Sockeye AST
Daniel Schwyn [Mon, 8 May 2017 11:42:57 +0000]
First take on Sockeye AST

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

4 years agoARMv8: Disable GICv2 FIQ bypass interrupt
Lukas Humbel [Thu, 13 Apr 2017 11:53:43 +0000]
ARMv8: Disable GICv2 FIQ bypass interrupt

On the X-Gene, it will constantly trigger interrupt 28 otherwise.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoARMv8: Give correct name to GIC files
Lukas Humbel [Wed, 12 Apr 2017 17:24:08 +0000]
ARMv8: Give correct name to GIC files

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoARMv8: Make GIC400 work. Timer interrupts work.
Lukas Humbel [Wed, 12 Apr 2017 17:05:46 +0000]
ARMv8: Make GIC400 work. Timer interrupts work.

GIC400 is in fact a GICv2, files need to be renamed. It is found
for instance on the X-Gene Mustang.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoARMv8: On fatal_kernel_fault print causing vector
Lukas Humbel [Wed, 12 Apr 2017 13:36:53 +0000]
ARMv8: On fatal_kernel_fault print causing vector

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoACPI: towards handling all MADT table entries
Reto Achermann [Thu, 13 Apr 2017 08:10:36 +0000]
ACPI: towards handling all MADT table entries

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoe10k: adding e10k flounder defs to targets
Reto Achermann [Fri, 7 Apr 2017 07:44:34 +0000]
e10k: adding e10k flounder defs to targets

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agooctopus: remove inclusion to flounder header from public trigger.h
Reto Achermann [Fri, 7 Apr 2017 07:30:00 +0000]
octopus: remove inclusion to flounder header from public trigger.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoMerge branch 'armv8-coreboot': final pieces for interrupts and coreboot
Reto Achermann [Thu, 6 Apr 2017 16:01:19 +0000]
Merge branch 'armv8-coreboot': final pieces for interrupts and coreboot

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoCleaned up Mackerel explosion.
David Cock [Thu, 6 Apr 2017 15:04:59 +0000]
Cleaned up Mackerel explosion.

A lot of our Haskell code is *seriously* inefficient.  Mackerel created arrays
n^2 in the size of the *device's address space* to check for overlapping
registers, and then walked them.  End result for Solarflare card was a >1TB
virtual address space for Haskell.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

4 years agoRemove symbolic_targets.mk as it is not being used anymore
Moritz Hoffmann [Thu, 6 Apr 2017 07:03:06 +0000]
Remove symbolic_targets.mk as it is not being used anymore

Also update example documentation to reflect that change.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

4 years agonetworking: interface raw fixed compilation for arm
Roni Häcki [Mon, 3 Apr 2017 12:30:37 +0000]
networking: interface raw fixed compilation for arm

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agonetworking: simplified interface raw
Roni Häcki [Mon, 3 Apr 2017 11:51:32 +0000]
networking: simplified interface raw

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agosolaflare: driver bugfix
Roni Häcki [Mon, 3 Apr 2017 11:47:03 +0000]
solaflare: driver bugfix

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agodevif: fixed solarflare test
Roni Häcki [Thu, 30 Mar 2017 12:21:34 +0000]
devif: fixed solarflare test

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agodevif: idc test fixed
Roni Häcki [Thu, 30 Mar 2017 11:27:42 +0000]
devif: idc test fixed

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoAPM88xx and gicv3_mmio: use correct addresses
Lukas Humbel [Thu, 30 Mar 2017 11:22:20 +0000]
APM88xx and gicv3_mmio: use correct addresses

Unfortunately, it still doesn't work. But this way, it gets correct values
in the identification registers IIDR.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agonetwork: fixed arm compilation
Roni Häcki [Thu, 30 Mar 2017 09:44:57 +0000]
network: fixed arm compilation

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agodevif: e10k backend removed unnecessary include
Roni Häcki [Thu, 30 Mar 2017 07:39:56 +0000]
devif: e10k backend removed unnecessary include

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agonetwork: removed hardcoded MAC address for solarflare card
Roni Häcki [Wed, 29 Mar 2017 13:36:36 +0000]
network: removed hardcoded MAC address for solarflare card

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agosolarflare: fixed hakefile
Roni Häcki [Wed, 29 Mar 2017 12:41:14 +0000]
solarflare: fixed hakefile

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agonetwork: added solarflare device queues
Roni Häcki [Wed, 29 Mar 2017 12:40:21 +0000]
network: added solarflare device queues

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agodevif: solarflare backend queue optimized
Roni Häcki [Wed, 29 Mar 2017 12:34:10 +0000]
devif: solarflare backend queue optimized

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agosolarflare: changed card driver to start shared queue 0
Roni Häcki [Wed, 29 Mar 2017 12:31:36 +0000]
solarflare: changed card driver to start shared queue 0

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agolwip: remove measuring code from datapath
Roni Häcki [Wed, 29 Mar 2017 12:20:57 +0000]
lwip: remove measuring code from datapath

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agodescq: increasing the default queue size from 64 to 2048
Adam Turowski [Tue, 21 Mar 2017 15:25:05 +0000]
descq: increasing the default queue size from 64 to 2048

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

4 years agosolarflare: bugfix for using legacy interrupts
Roni Häcki [Tue, 21 Mar 2017 14:17:00 +0000]
solarflare: bugfix for using legacy interrupts

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agodevif: fixup of the arguments order in descq
Adam Turowski [Tue, 21 Mar 2017 12:10:38 +0000]
devif: fixup of the arguments order in descq

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

4 years agodevif: fixing the initialization of descq
Adam Turowski [Tue, 21 Mar 2017 09:56:08 +0000]
devif: fixing the initialization of descq

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

4 years agoGICv3: Add support for mem-mapped CPU interface
Lukas Humbel [Mon, 20 Mar 2017 17:02:28 +0000]
GICv3: Add support for mem-mapped CPU interface

Not clear if this is working, since we don't have a interrupt source yet.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agonetwork: replacing net_queue_manager with devif as a data path, still WIP so it'll...
Adam Turowski [Mon, 20 Mar 2017 13:35:20 +0000]
network: replacing net_queue_manager with devif as a data path, still WIP so it'll probably break the network stack

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

4 years agoe10k: device_db file option fixed to allow legacy interrupts
Roni Häcki [Mon, 20 Mar 2017 09:06:51 +0000]
e10k: device_db file option fixed to allow legacy interrupts

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

4 years agoGICv3: Generate softirq
Lukas Humbel [Thu, 16 Mar 2017 13:40:42 +0000]
GICv3: Generate softirq

Currently only does so for cores in the same affinity domain.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agomackerel: do not pre-read write only registers
Reto Achermann [Thu, 16 Mar 2017 13:40:54 +0000]
mackerel: do not pre-read write only registers

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: adding stub for booting cores on the X-GENE
Reto Achermann [Thu, 16 Mar 2017 13:12:09 +0000]
ARMv8: adding stub for booting cores on the X-GENE

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: properly restore cpudriver stack pointer on resume
Reto Achermann [Thu, 16 Mar 2017 12:31:41 +0000]
ARMv8: properly restore cpudriver stack pointer on resume

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: setting stack top and number of pages to reserve properly
Reto Achermann [Thu, 16 Mar 2017 12:30:24 +0000]
ARMv8: setting stack top and number of pages to reserve properly

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: setting stack limit when booting cores
Reto Achermann [Thu, 16 Mar 2017 12:25:51 +0000]
ARMv8: setting stack limit when booting cores

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: Remove kernel stack labels from linker script
Reto Achermann [Thu, 16 Mar 2017 12:20:52 +0000]
ARMv8: Remove kernel stack labels from linker script

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: adding kernel stack limit to the coredata structure
Reto Achermann [Thu, 16 Mar 2017 12:19:51 +0000]
ARMv8: adding kernel stack limit to the coredata structure

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8/coreboot: enable sequential booting of cores
Reto Achermann [Thu, 16 Mar 2017 07:38:29 +0000]
ARMv8/coreboot: enable sequential booting of cores

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoHake: adding boot/cpu driver entries to menu.lst for ARMv8
Reto Achermann [Thu, 16 Mar 2017 07:22:19 +0000]
Hake: adding boot/cpu driver entries to menu.lst for ARMv8

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoMerge branch 'armv8-coreboot': Adding coreboot support form ARMv8
Reto Achermann [Thu, 16 Mar 2017 07:15:34 +0000]
Merge branch 'armv8-coreboot': Adding coreboot support form ARMv8

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoplatforms: take care of copying the new menu.lst
Reto Achermann [Sat, 25 Feb 2017 09:27:12 +0000]
platforms: take care of copying the new menu.lst

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agohake: adding menu.lst for Cavium ThunderX and APM 88xxxx
Reto Achermann [Sat, 25 Feb 2017 09:25:41 +0000]
hake: adding menu.lst for Cavium ThunderX and APM 88xxxx

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agohake: remove menu.lst.armv8_gem5
Reto Achermann [Sat, 25 Feb 2017 09:20:04 +0000]
hake: remove menu.lst.armv8_gem5

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoPlatforms: drop ARMv8 GEM5 targets
Reto Achermann [Sat, 25 Feb 2017 09:18:16 +0000]
Platforms: drop ARMv8 GEM5 targets

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoPlatforms: dropp x86_32 targets
Reto Achermann [Sat, 25 Feb 2017 09:16:24 +0000]
Platforms: dropp x86_32 targets

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoACPI: fixing table mapping code
Reto Achermann [Wed, 15 Mar 2017 17:45:37 +0000]
ACPI: fixing table mapping code

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: add boot_driver to simulated ARM machines
Lukas Humbel [Wed, 15 Mar 2017 13:12:55 +0000]
ARMv8: add boot_driver to simulated ARM machines

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoGICv3: add raise softirq
Lukas Humbel [Wed, 15 Mar 2017 12:38:36 +0000]
GICv3: add raise softirq

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

4 years agoK1OM: fix build with the introduction of hwid_t
Reto Achermann [Wed, 15 Mar 2017 09:01:08 +0000]
K1OM: fix build with the introduction of hwid_t

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoharness: fix function call to get_kernel_args()
Reto Achermann [Wed, 15 Mar 2017 08:30:28 +0000]
harness: fix function call to get_kernel_args()

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoHarness: pass correct cmdline arguments to cpudriver
Reto Achermann [Tue, 14 Mar 2017 16:38:49 +0000]
Harness: pass correct cmdline arguments to cpudriver

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoharness: fix assertion to cope with cpu/boot driver fields
Reto Achermann [Tue, 14 Mar 2017 16:04:29 +0000]
harness: fix assertion to cope with cpu/boot driver fields

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: adding missing include to timers.h
Reto Achermann [Tue, 14 Mar 2017 15:23:46 +0000]
ARMv8: adding missing include to timers.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: move timer related code to timers.h
Reto Achermann [Tue, 14 Mar 2017 15:01:56 +0000]
ARMv8: move timer related code to timers.h

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: use timer_* functions in debug syscalls
Reto Achermann [Tue, 14 Mar 2017 14:58:50 +0000]
ARMv8: use timer_* functions in debug syscalls

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

4 years agoARMv8: do not initialize a mackerel device for accessing system registers
Reto Achermann [Tue, 14 Mar 2017 14:56:51 +0000]
ARMv8: do not initialize a mackerel device for accessing system registers

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>