barrelfish
3 years agoIntegrate sockeye with hake
Daniel Schwyn [Thu, 1 Jun 2017 14:00:22 +0000]
Integrate sockeye with hake

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

3 years agoRename sockey2 -> sockeye
Daniel Schwyn [Thu, 1 Jun 2017 09:25:42 +0000]
Rename sockey2 -> sockeye

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

3 years agoMerge remote-tracking branch 'upstream/skate' into sockeye
Daniel Schwyn [Thu, 1 Jun 2017 08:40:39 +0000]
Merge remote-tracking branch 'upstream/skate' into sockeye

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

3 years agoDo not generate preamble when compiling Sockeye files to Prolog
Daniel Schwyn [Wed, 31 May 2017 14:26:25 +0000]
Do not generate preamble when compiling Sockeye files to Prolog

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

3 years agoMove Prolog predicates to usr/skb/programs
Daniel Schwyn [Wed, 31 May 2017 14:25:29 +0000]
Move Prolog predicates to usr/skb/programs

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

3 years agoAdd Sockeye file for OMAP4460
Daniel Schwyn [Wed, 31 May 2017 14:16:23 +0000]
Add Sockeye file for OMAP4460

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

3 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>

3 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>

3 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>

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

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

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

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

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

3 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>

3 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>

3 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>

3 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>

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

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

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

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

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

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

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

3 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>

3 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>

3 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>

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

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

3 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>

3 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>

3 years agoskate: make generated C code compile
Reto Achermann [Sat, 27 May 2017 11:22:07 +0000]
skate: make generated C code compile

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

3 years agoAdd code generation for functions to add facts to the SKB
Reto Achermann [Sat, 27 May 2017 10:46:32 +0000]
Add code generation for functions to add facts to the SKB

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

3 years agoskate: adding generation of fact format string
Reto Achermann [Sun, 14 May 2017 19:09:34 +0000]
skate: adding generation of fact format string

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

3 years agoskate: store source position when parsing a skatefile
Reto Achermann [Sat, 6 May 2017 14:12:53 +0000]
skate: store source position when parsing a skatefile

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

3 years agoTN-020: adding some notes on the AST checks
Reto Achermann [Fri, 5 May 2017 17:58:23 +0000]
TN-020: adding some notes on the AST checks

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

3 years agoTN-020: adding motivational usescases fo Skate
Reto Achermann [Fri, 5 May 2017 17:32:46 +0000]
TN-020: adding motivational usescases fo Skate

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

3 years agoTN-020: adding examples for flags/constants/enums
Reto Achermann [Fri, 5 May 2017 16:32:20 +0000]
TN-020: adding examples for flags/constants/enums

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

3 years agoSkate: defining varios functions for type handling and code generation
Reto Achermann [Fri, 5 May 2017 14:43:09 +0000]
Skate: defining varios functions for type handling and code generation

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

3 years agoremoving tools/sockeye -> transition to skate
Reto Achermann [Fri, 5 May 2017 07:53:28 +0000]
removing tools/sockeye -> transition to skate

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

3 years agodatagatherer: remove generated dependeicy
Reto Achermann [Fri, 5 May 2017 07:50:47 +0000]
datagatherer: remove generated dependeicy

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

3 years agoremoving references to old lib machinemodel
Reto Achermann [Fri, 5 May 2017 07:39:45 +0000]
removing references to old lib machinemodel

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

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>

3 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>