barrelfish
4 years agoschema/acpi: making the MADT schema definition compile with the new parser
Reto Achermann [Fri, 5 May 2017 07:38:50 +0000]
schema/acpi: making the MADT schema definition compile with the new parser

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

4 years agoskate: adding more error messages to the parser
Reto Achermann [Fri, 5 May 2017 07:38:02 +0000]
skate: adding more error messages to the parser

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

4 years agoskate: adding ACPI MADt schema
Reto Achermann [Fri, 5 May 2017 07:37:26 +0000]
skate: adding ACPI MADt schema

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

4 years agoskate: adding optional arch argument
Reto Achermann [Fri, 5 May 2017 07:03:26 +0000]
skate: adding optional arch argument

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

4 years agomoving lib/machinemodel to schemas directory
Reto Achermann [Fri, 5 May 2017 07:02:33 +0000]
moving lib/machinemodel to schemas directory

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

4 years agohake: integration of skate into the build system
Reto Achermann [Fri, 5 May 2017 07:01:18 +0000]
hake: integration of skate into the build system

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

4 years agoskate: adding struct definitions for the facts
Reto Achermann [Thu, 4 May 2017 19:06:58 +0000]
skate: adding struct definitions for the facts

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

4 years agoskate: implementation of C header for enums and constants
Reto Achermann [Thu, 4 May 2017 18:46:10 +0000]
skate: implementation of C header for enums and constants

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

4 years agoskate: initial parts fo the C header backend
Reto Achermann [Thu, 4 May 2017 15:47:29 +0000]
skate: initial parts fo the C header backend

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

4 years agoskate: extend parser to support fully qualified names
Reto Achermann [Thu, 4 May 2017 12:05:54 +0000]
skate: extend parser to support fully qualified names

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

4 years agoskate: implementation of basic checks on declrations
Reto Achermann [Thu, 4 May 2017 12:05:22 +0000]
skate: implementation of basic checks on declrations

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

4 years agoskate: implementation of declaration table
Reto Achermann [Thu, 4 May 2017 12:04:42 +0000]
skate: implementation of declaration table

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

4 years agoSkate: implement check for type table
Reto Achermann [Wed, 3 May 2017 19:40:52 +0000]
Skate: implement check for type table

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

4 years agoskate: starting the typetable and adding comments.
Reto Achermann [Wed, 3 May 2017 15:14:39 +0000]
skate: starting the typetable and adding comments.

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

4 years agoTN-020: removing some of the old description
Reto Achermann [Tue, 2 May 2017 14:56:39 +0000]
TN-020: removing some of the old description

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

4 years agoTN-020: adding more description to the Skate syntax definition
Reto Achermann [Tue, 2 May 2017 14:50:40 +0000]
TN-020: adding more description to the Skate syntax definition

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

4 years agoTN-020: reorganizing and more documentation
Reto Achermann [Sat, 29 Apr 2017 13:20:04 +0000]
TN-020: reorganizing and more documentation

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

4 years agoskate: adding basic Skate output functions
Reto Achermann [Fri, 28 Apr 2017 15:46:50 +0000]
skate: adding basic Skate output functions

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

4 years agoskate: remove old header generation
Reto Achermann [Fri, 28 Apr 2017 15:46:06 +0000]
skate: remove old header generation

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

4 years agoskate: moving filename check to SkateChecker module
Reto Achermann [Fri, 28 Apr 2017 15:45:39 +0000]
skate: moving filename check to SkateChecker module

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

4 years agoskate: adding wiki abstract syntax
Reto Achermann [Fri, 28 Apr 2017 15:45:01 +0000]
skate: adding wiki abstract syntax

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

4 years agoskate: adding skate checker module
Reto Achermann [Fri, 28 Apr 2017 15:44:38 +0000]
skate: adding skate checker module

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

4 years agoTN: adding synbf macro
Reto Achermann [Fri, 28 Apr 2017 15:43:45 +0000]
TN: adding synbf macro

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

4 years agoskate: initial commit of skate with working parser
Reto Achermann [Thu, 27 Apr 2017 14:45:58 +0000]
skate: initial commit of skate with working parser

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

4 years agoTN-020: adding text and sections to syntax
Reto Achermann [Thu, 27 Apr 2017 08:54:21 +0000]
TN-020: adding text and sections to syntax

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

4 years agoTN-020: adding descriptions and placeholders for C mappings
Reto Achermann [Fri, 21 Apr 2017 15:16:20 +0000]
TN-020: adding descriptions and placeholders for C mappings

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

4 years agoTN-020: finishing up syntax, starting with C mapping chapter
Reto Achermann [Fri, 21 Apr 2017 09:33:02 +0000]
TN-020: finishing up syntax, starting with C mapping chapter

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

4 years agodoc/TN-020: adding more description of the syntax
Reto Achermann [Thu, 20 Apr 2017 19:05:48 +0000]
doc/TN-020: adding more description of the syntax

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

4 years agodoc: adding more content to TN-020
Reto Achermann [Thu, 20 Apr 2017 15:01:11 +0000]
doc: adding more content to TN-020

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

4 years agodoc: updating and re-naming documetation 20: sockeye -> skate
Reto Achermann [Thu, 20 Apr 2017 14:03:56 +0000]
doc: updating and re-naming documetation 20: sockeye -> skate

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

4 years agonet_if_raw: don't assume hardware queues on k1om
Reto Achermann [Thu, 20 Apr 2017 09:18:27 +0000]
net_if_raw: don't assume hardware queues on k1om

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

4 years agolibnetif_raw: adding k1om to build architectures
Reto Achermann [Thu, 20 Apr 2017 08:01:46 +0000]
libnetif_raw: adding k1om to build architectures

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

4 years agoe1000: adding octopus flounder defs to fix dependency issue
Reto Achermann [Thu, 20 Apr 2017 07:27:26 +0000]
e1000: adding octopus flounder defs to fix dependency issue

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

4 years agoMerge Github PR#5. Add missing error check in frame_identify()
Simon Gerber [Tue, 18 Apr 2017 14:17:34 +0000]
Merge Github PR#5. Add missing error check in frame_identify()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

4 years agoARMv8: Correct timer calls.
Lukas Humbel [Tue, 18 Apr 2017 09:01:04 +0000]
ARMv8: Correct timer calls.

Timer interrupts trigger now reasonably often (each 80ms)

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

4 years agoARMv8: Store status register on interrupt
Lukas Humbel [Tue, 18 Apr 2017 08:59:00 +0000]
ARMv8: Store status register on interrupt

Signed-off-by: Lukas Humbel <lukas.humbel@inf.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 agoAdd error checking in frame_identify()
Svyatoslav Ilinskiy [Mon, 3 Apr 2017 20:56:16 +0000]
Add error checking in frame_identify()
Signed-off-by: Svyatoslav Ilinskiy <ilinskiy.sv@gmail.com>

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>

4 years agoARMv8: remove sysreg functions of counters, mackerel used instead
Reto Achermann [Tue, 14 Mar 2017 14:56:01 +0000]
ARMv8: remove sysreg functions of counters, mackerel used instead

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

4 years agoARMv8: rename generic timer mackerel definitions
Reto Achermann [Tue, 14 Mar 2017 14:54:51 +0000]
ARMv8: rename generic timer mackerel definitions

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

4 years agoARMv8: use mackerel device function for setting timer control
Reto Achermann [Tue, 14 Mar 2017 12:25:51 +0000]
ARMv8: use mackerel device function for setting timer control

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

4 years agoMackerel: don't use __DN() for cpu register functions
Reto Achermann [Tue, 14 Mar 2017 12:24:43 +0000]
Mackerel: don't use __DN() for cpu register functions

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

4 years agoARMv8: separating makerel file into related pieces
Reto Achermann [Tue, 14 Mar 2017 12:22:38 +0000]
ARMv8: separating makerel file into related pieces

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