barrelfish
4 years agoMerge GitHub PR1. release2016-06-10
Simon Gerber [Thu, 9 Jun 2016 07:34:34 +0000]
Merge GitHub PR1.

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

4 years agoirqtest: fix frame_identity init
Simon Gerber [Wed, 8 Jun 2016 13:44:41 +0000]
irqtest: fix frame_identity init

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

4 years agoharness: fix buildall target to be configurable on a per-machine basis
Simon Gerber [Tue, 7 Jun 2016 15:02:52 +0000]
harness: fix buildall target to be configurable on a per-machine basis

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

4 years agoMerge branch 'caps_next'
Simon Gerber [Tue, 7 Jun 2016 14:18:20 +0000]
Merge branch 'caps_next'

This merge changes capabilities for address ranges (e.g. RAM, PhysAddr, ...)
from power-of-two sizes given in bits to sizes given in bytes. The current
implementation restricts capabilities to be sized >= BASE_PAGE_SIZE.  In
addition, retype now can "cut out" a part of a large capability to create a
descendant without having to create descendants for the whole region.  To
ensure integrity of operations, calls to retype result in a range query on the
capability database to check for already existing, overlapping descendants of
the source capability.

Closes T191.

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

4 years agolibgmp: remove dependency to libbarrelfish
Reto Achermann [Thu, 2 Jun 2016 11:08:28 +0000]
libgmp: remove dependency to libbarrelfish

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

4 years agoT238: fix renaming mistake
Simon Gerber [Wed, 25 May 2016 11:00:24 +0000]
T238: fix renaming mistake

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

4 years agoT238: fix vnode_objsize() to not use BASE_PAGE_SIZE but 4096
Simon Gerber [Wed, 25 May 2016 10:50:20 +0000]
T238: fix vnode_objsize() to not use BASE_PAGE_SIZE but 4096

This is necessary because asmoffsets.c includes
include/barrelfish_kpi/capabilities.h but does not include the appropriate
headers to get BASE_PAGE_SIZE and related definitions.

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

4 years agofixing undefined global in spantest-exit. closes T220
Reto Achermann [Tue, 24 May 2016 07:01:37 +0000]
fixing undefined global in spantest-exit. closes T220

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

4 years agoT238: change kernel to use new vnode_objsize() when appropriate
Simon Gerber [Mon, 23 May 2016 11:04:18 +0000]
T238: change kernel to use new vnode_objsize() when appropriate

Closes T238.

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

4 years agoT242: handle FLOUNDER_ERR_TX_BUSY for all capops
Simon Gerber [Mon, 23 May 2016 09:23:35 +0000]
T242: handle FLOUNDER_ERR_TX_BUSY for all capops

Closes T242.

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

4 years agoT242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops/copy.c
Simon Gerber [Mon, 23 May 2016 09:12:32 +0000]
T242: handle FLOUNDER_ERR_TX_BUSY in usr/monitor/capops/copy.c

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

4 years agomaking K1OM_Full build again
Reto Achermann [Mon, 23 May 2016 08:20:58 +0000]
making K1OM_Full build again

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

4 years agoT89: Reverting (again) the first version of the routing algorithm
Lukas Humbel [Tue, 17 May 2016 19:48:29 +0000]
T89: Reverting (again) the first version of the routing algorithm

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

4 years agoAdd appenzeller to machines with broken bridge programming
Lukas Humbel [Tue, 17 May 2016 15:39:11 +0000]
Add appenzeller to machines with broken bridge programming

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

4 years agoRemove unneeded printk() in kernel/startup.c
Simon Gerber [Tue, 17 May 2016 15:15:03 +0000]
Remove unneeded printk() in kernel/startup.c

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

4 years agoT191: xeon_phi: Update driver to use new API and minor fixes in driver
Simon Gerber [Tue, 17 May 2016 15:14:13 +0000]
T191: xeon_phi: Update driver to use new API and minor fixes in driver

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

4 years agoT89: Make missing ACPI bridge entry non fatal.
Lukas Humbel [Tue, 17 May 2016 14:49:13 +0000]
T89: Make missing ACPI bridge entry non fatal.

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

4 years agoT89: Revert irq_routing.pl to swizzling one
Lukas Humbel [Tue, 17 May 2016 14:47:49 +0000]
T89: Revert irq_routing.pl to swizzling one

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

4 years agoT89: Improve irqtest
Lukas Humbel [Tue, 17 May 2016 11:57:25 +0000]
T89: Improve irqtest

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

4 years agoT89: ACPI path names can be longer than 16 chars.
Lukas Humbel [Tue, 17 May 2016 11:56:33 +0000]
T89: ACPI path names can be longer than 16 chars.

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

4 years agoACPI/PCI: Improved output
Lukas Humbel [Tue, 17 May 2016 11:55:34 +0000]
ACPI/PCI: Improved output

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

4 years agoGMP: Add escaping to CC argument. Allows to use compiler prefixes in
Lukas Humbel [Fri, 13 May 2016 11:32:23 +0000]
GMP: Add escaping to CC argument. Allows to use compiler prefixes in
Tools.hs (such as ccache/distcc)

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

4 years agoT191: x86_64: make it compile again
Simon Gerber [Tue, 10 May 2016 14:55:10 +0000]
T191: x86_64: make it compile again

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

4 years agokernel: paging_generic: compile_vaddr: handle case where we find something that is...
Simon Gerber [Tue, 10 May 2016 11:02:17 +0000]
kernel: paging_generic: compile_vaddr: handle case where we find something that is not a VNode properly

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

4 years agoT191: init: use mm_add_multi in initialize_ram_alloc()
Simon Gerber [Mon, 9 May 2016 16:52:30 +0000]
T191: init: use mm_add_multi in initialize_ram_alloc()

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

4 years agoT191: remove commented-out cap splitting in caps_create_to_cnode
Simon Gerber [Mon, 9 May 2016 16:51:52 +0000]
T191: remove commented-out cap splitting in caps_create_to_cnode

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

4 years agogem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB starting at 0x0.
Simon Gerber [Mon, 9 May 2016 16:51:24 +0000]
gem5: Fix menu.lst.arm_gem5_mc to set mmap to 256MB starting at 0x0.

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

4 years agoT191: armv7: refactor code to use range retype and bytes-based identify
Simon Gerber [Mon, 9 May 2016 16:15:13 +0000]
T191: armv7: refactor code to use range retype and bytes-based identify

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

4 years agoT191: aarch64: fix monitor invoke_retype
Simon Gerber [Mon, 9 May 2016 15:15:06 +0000]
T191: aarch64: fix monitor invoke_retype

Make invocation arguments match arguments for non-monitor invoke_retype and
append monitor specific argument at end rather than start.

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

4 years agoFixup
Lukas Humbel [Mon, 9 May 2016 14:50:44 +0000]
Fixup

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

4 years agoT89: Add irqtest to harness
Lukas Humbel [Mon, 9 May 2016 14:36:46 +0000]
T89: Add irqtest to harness

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

4 years agoT89: irqtest output improved
Lukas Humbel [Mon, 9 May 2016 09:08:22 +0000]
T89: irqtest output improved

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

4 years agoT89: Dont swizzle pins when doing the PIN lookup.
Lukas Humbel [Mon, 9 May 2016 09:02:50 +0000]
T89: Dont swizzle pins when doing the PIN lookup.

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

4 years agoT89: Discover and disable all PCI link devices on boot.
Lukas Humbel [Wed, 4 May 2016 14:35:48 +0000]
T89: Discover and disable all PCI link devices on boot.

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

4 years agoT89: Discover PCI IRQ Routing tables using correct bus number.
Lukas Humbel [Tue, 3 May 2016 16:09:18 +0000]
T89: Discover PCI IRQ Routing tables using correct bus number.

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

4 years agoT89: Added a test to test PCI interrupts using e1000 card
Lukas Humbel [Tue, 3 May 2016 12:46:52 +0000]
T89: Added a test to test PCI interrupts using e1000 card

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

4 years agoharness: add build type for armv7 gem5+debug symbols
Simon Gerber [Mon, 9 May 2016 14:22:12 +0000]
harness: add build type for armv7 gem5+debug symbols

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

4 years agoT89: Better ACPI debug output
Lukas Humbel [Mon, 9 May 2016 14:20:07 +0000]
T89: Better ACPI debug output

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

4 years agovspace_pinned_alloc: dump errors so that we get full error stack
Simon Gerber [Fri, 29 Apr 2016 12:45:57 +0000]
vspace_pinned_alloc: dump errors so that we get full error stack

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

4 years agoT191: cleanup comments and some TODOs
Simon Gerber [Fri, 29 Apr 2016 12:45:05 +0000]
T191: cleanup comments and some TODOs

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

4 years agoT191: aarch64: implement invocations and related changes for range capabilities
Simon Gerber [Fri, 29 Apr 2016 12:44:24 +0000]
T191: aarch64: implement invocations and related changes for range capabilities

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

4 years agoT191: rename testsuite from caps_next to capops
Simon Gerber [Fri, 29 Apr 2016 09:27:46 +0000]
T191: rename testsuite from caps_next to capops

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

4 years agoT191: x86_64: refactor retype2 back to retype
Simon Gerber [Fri, 29 Apr 2016 09:20:26 +0000]
T191: x86_64: refactor retype2 back to retype

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

4 years agoT191: python script to generate dot file to plot mdb from output of mdb_dump_all_the_...
Simon Gerber [Fri, 22 Apr 2016 15:23:56 +0000]
T191: python script to generate dot file to plot mdb from output of mdb_dump_all_the_things()

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

4 years agoT191: User space works again with reduced set of provided capabilities.
Simon Gerber [Thu, 21 Apr 2016 17:50:12 +0000]
T191: User space works again with reduced set of provided capabilities.

4 years agoT191: T231: caps_create_new() now takes region and object size in bytes
Simon Gerber [Thu, 21 Apr 2016 15:21:06 +0000]
T191: T231: caps_create_new() now takes region and object size in bytes

Also, remove all the remaining old cap creation kernel code.

This also changes the set of capabilities that is created during early boot.
We now create a single capability for each memory region as reported by the
BIOS.

Closes T231.

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

4 years agoT191: T231: rename caps_create->caps_create_old and caps_create2->caps_create
Simon Gerber [Wed, 20 Apr 2016 15:08:38 +0000]
T191: T231: rename caps_create->caps_create_old and caps_create2->caps_create

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

4 years agoT191: change all of user space to call new retype directly; turn off count = 0 behavi...
Simon Gerber [Wed, 20 Apr 2016 15:01:35 +0000]
T191: change all of user space to call new retype directly; turn off count = 0 behaviour in kernel

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

4 years agoT191: kernel: add debug prints about zeroing
Simon Gerber [Wed, 20 Apr 2016 15:01:13 +0000]
T191: kernel: add debug prints about zeroing

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

4 years agoT191: remove old caps_retype() code from kernel
Simon Gerber [Wed, 20 Apr 2016 14:04:51 +0000]
T191: remove old caps_retype() code from kernel

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

4 years agoT191: minor changes to retype2 test output
Simon Gerber [Wed, 20 Apr 2016 13:03:19 +0000]
T191: minor changes to retype2 test output

* quotes around expected errors
* formatting

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

4 years agoT191: add warning about use of old retype
Simon Gerber [Wed, 20 Apr 2016 13:02:21 +0000]
T191: add warning about use of old retype

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

4 years agoT191: Fix zeroing for !(type == Frame)
Simon Gerber [Wed, 20 Apr 2016 12:51:20 +0000]
T191: Fix zeroing for !(type == Frame)

The new code uses objsize * count for the size of the region to zero. This
does not work for types where we call retype with objsize == 0. We now
hardcode the objsize in the memset() call for these types.

4 years agoT191: write multi retype test and add test_retype2 in platforms/Hakefile
Simon Gerber [Wed, 20 Apr 2016 11:51:14 +0000]
T191: write multi retype test and add test_retype2 in platforms/Hakefile

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

4 years agoFix cap tracing static assert
Simon Gerber [Wed, 20 Apr 2016 11:50:42 +0000]
Fix cap tracing static assert

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

4 years agoT191: update monitor capops retype
Simon Gerber [Wed, 20 Apr 2016 09:28:28 +0000]
T191: update monitor capops retype

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

4 years agoT191: call invoke_cnode_retype2 with count = 0 from cap_retype()
Simon Gerber [Wed, 20 Apr 2016 08:11:04 +0000]
T191: call invoke_cnode_retype2 with count = 0 from cap_retype()

This uses the new retype code internally whenever cap_retype() (old API) is called.

caps_retype2() emulates the old behaviour (i.e. split whole source region into
equally-sized regions of objsize) if called with count == 0. This is not
intended to be long term behaviour, but to allow us to remove the old
kernel-side implementation without fixing all call sites first.

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

4 years agoT191: fix wrong error
Simon Gerber [Tue, 19 Apr 2016 15:37:39 +0000]
T191: fix wrong error

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

4 years agoT191: fix missing arg in cap_retype2()
Simon Gerber [Tue, 19 Apr 2016 15:37:02 +0000]
T191: fix missing arg in cap_retype2()

4 years agoT191: rearrange check in kernel, do easy checks first; check that we cannot create...
Simon Gerber [Tue, 19 Apr 2016 15:36:19 +0000]
T191: rearrange check in kernel, do easy checks first; check that we cannot create objects larger than source

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

4 years agoT191: add tests delete+retype and misaligned size and offset
Simon Gerber [Tue, 19 Apr 2016 15:26:33 +0000]
T191: add tests delete+retype and misaligned size and offset

Also fixes kernel side to fail for offset not being a multiple of
BASE_PAGE_SIZE.

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

4 years agoT191: comment arg dumping for retype2 and add comment about retype + copies of src
Simon Gerber [Tue, 19 Apr 2016 15:08:43 +0000]
T191: comment arg dumping for retype2 and add comment about retype + copies of src

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

4 years agoT191: fix retype2 for overlapping requests + tests for overlap
Simon Gerber [Tue, 19 Apr 2016 13:05:28 +0000]
T191: fix retype2 for overlapping requests + tests for overlap

We did not properly handle the case where we have region B which is retyped
from region A but completely covers the new region we want to retype from A.

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

4 years agoT191: fix simple test
Simon Gerber [Tue, 19 Apr 2016 13:04:48 +0000]
T191: fix simple test

4 years agoT191: retype2: more testing of simple success cases
Simon Gerber [Tue, 19 Apr 2016 12:35:23 +0000]
T191: retype2: more testing of simple success cases

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

4 years agoT191: Fix missed renaming of test
Simon Gerber [Mon, 18 Apr 2016 15:58:54 +0000]
T191: Fix missed renaming of test

4 years agoT191: simple range check to allow non-overlapping retypes from same region; updated...
Simon Gerber [Mon, 18 Apr 2016 15:41:27 +0000]
T191: simple range check to allow non-overlapping retypes from same region; updated test retype2.0

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

4 years agoT191: fix test output to describe tests more accurately. Not all implemented yet
Simon Gerber [Mon, 18 Apr 2016 15:41:03 +0000]
T191: fix test output to describe tests more accurately. Not all implemented yet

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

4 years agoT191: add testing for new retype code; not complete
Simon Gerber [Mon, 18 Apr 2016 15:02:19 +0000]
T191: add testing for new retype code; not complete

Currently only does a single retype of one 4k block from a 2M block.

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

4 years agoImplement identify command for ObjType_RAM
Simon Gerber [Mon, 18 Apr 2016 15:01:41 +0000]
Implement identify command for ObjType_RAM

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

4 years agoT191: fix wrong command in invoke_cnode_retype2, and add some more output in kernel...
Simon Gerber [Mon, 18 Apr 2016 15:01:27 +0000]
T191: fix wrong command in invoke_cnode_retype2, and add some more output in kernel code

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

4 years agoqemu-wrapper: Fix typo in default hd file
Simon Gerber [Mon, 18 Apr 2016 14:03:07 +0000]
qemu-wrapper: Fix typo in default hd file

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

4 years agoharness,qemu wrapper: Make harness use qemu wrapper script for x86_64
Simon Gerber [Mon, 18 Apr 2016 14:01:31 +0000]
harness,qemu wrapper: Make harness use qemu wrapper script for x86_64

wrapper script understands new option --smp to specify the number of cores for
qemu. wrapper script also looks for 'root ...' line in menu.lst and prepends
the argument to the kernel and initrd files when it's not '(nd)'.

harness writes a sensible root statement into its temporary qemu menu.lst.

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

4 years agoT191: Implement prototype for new retype
Simon Gerber [Mon, 18 Apr 2016 13:19:02 +0000]
T191: Implement prototype for new retype

The new retype call takes an offset into the source cap and a count of objects
to create.  This is different from the old call that just took a source and
created as many new objects as fit into that source (determined by source size
and requested size for new objects).

Currently available as `cap_retype2(dest_start, src, offset, new_type, objsize, count);`

Note that this is not used anywhere yet.

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

4 years agoSquashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).
Simon Gerber [Mon, 18 Apr 2016 08:41:26 +0000]
Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

4 years agoarmv7-m: port mapping capability changes
Simon Gerber [Fri, 15 Apr 2016 13:18:15 +0000]
armv7-m: port mapping capability changes

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

4 years agoharness: Remove x86_32 from buildarchs for x86_64 ethz machines.
Simon Gerber [Tue, 12 Apr 2016 16:58:51 +0000]
harness: Remove x86_32 from buildarchs for x86_64 ethz machines.

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

4 years agoarmv7-m: fix missing bits in posixcompat, compiler-rt, and Config.hs.template
Simon Gerber [Tue, 12 Apr 2016 16:58:15 +0000]
armv7-m: fix missing bits in posixcompat, compiler-rt, and Config.hs.template

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

4 years agoIRQ: Correctly setup pci device interrupts
Lukas Humbel [Fri, 15 Apr 2016 09:35:18 +0000]
IRQ: Correctly setup pci device interrupts

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

4 years agolpc_timer: Fix for multiple clients
Lukas Humbel [Wed, 13 Apr 2016 09:19:31 +0000]
lpc_timer: Fix for multiple clients

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

4 years agoharness: dynamically generate "enough" compiler-rt test cases
Simon Gerber [Fri, 8 Apr 2016 12:24:44 +0000]
harness: dynamically generate "enough" compiler-rt test cases

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

4 years agoARMv8 report bib fixes
David Cock [Mon, 11 Apr 2016 15:52:26 +0000]
ARMv8 report bib fixes

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

4 years agoARMv8 report formatting fixups.
David Cock [Mon, 11 Apr 2016 15:50:58 +0000]
ARMv8 report formatting fixups.

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

4 years agoARMv8 report is content complete.
David Cock [Mon, 11 Apr 2016 15:26:43 +0000]
ARMv8 report is content complete.

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

4 years agoARMv8 report S4.1 (user-space threading)
David Cock [Mon, 11 Apr 2016 14:12:37 +0000]
ARMv8 report S4.1 (user-space threading)

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

4 years agoARMv8 report looking good up to S3.1
David Cock [Mon, 11 Apr 2016 12:12:36 +0000]
ARMv8 report looking good up to S3.1

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

4 years agoRerun pdflatex in more cases.
David Cock [Mon, 11 Apr 2016 12:11:52 +0000]
Rerun pdflatex in more cases.

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

4 years agoARMv8 tech report
David Cock [Mon, 11 Apr 2016 09:04:58 +0000]
ARMv8 tech report

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

4 years agoIRQ: bugfix (no index variable shadow)
Lukas Humbel [Fri, 8 Apr 2016 14:49:25 +0000]
IRQ: bugfix (no index variable shadow)

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

4 years agoIRQ: added support to X86_32 kernel
Lukas Humbel [Thu, 7 Apr 2016 12:19:12 +0000]
IRQ: added support to X86_32 kernel

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

4 years agoIRQ: added invocations to x86_32
Lukas Humbel [Thu, 7 Apr 2016 11:05:41 +0000]
IRQ: added invocations to x86_32

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

4 years agoIRQ: ARM invocations added
Lukas Humbel [Tue, 5 Apr 2016 16:06:11 +0000]
IRQ: ARM invocations added

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

4 years agoIRQ: refactoring caps names
Lukas Humbel [Tue, 5 Apr 2016 13:05:59 +0000]
IRQ: refactoring caps names

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

4 years agoIRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
Lukas Humbel [Tue, 5 Apr 2016 09:03:23 +0000]
IRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
allocations.

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

4 years agoIRQ: Found bug, added assertion
Lukas Humbel [Fri, 1 Apr 2016 13:47:18 +0000]
IRQ: Found bug, added assertion

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

4 years agoIRQ: added irq source capability and make the inthandler setup use it
Lukas Humbel [Thu, 31 Mar 2016 15:07:41 +0000]
IRQ: added irq source capability and make the inthandler setup use it

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

4 years agoIRQ: Making the code actually work. ACPI interface
Lukas Humbel [Wed, 30 Mar 2016 12:00:40 +0000]
IRQ: Making the code actually work. ACPI interface

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

4 years agoAdded ACPI_SERVICE_DEBUG to Config.hs.template
Lukas Humbel [Tue, 29 Mar 2016 12:09:07 +0000]
Added ACPI_SERVICE_DEBUG to Config.hs.template

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

4 years agoIRQ: changed kernel to use irq_dest_cap table with IRQVector caps
Lukas Humbel [Tue, 29 Mar 2016 08:45:19 +0000]
IRQ: changed kernel to use irq_dest_cap table with IRQVector caps

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

4 years agoIRQ: added IRQVector cap
Lukas Humbel [Thu, 24 Mar 2016 14:22:21 +0000]
IRQ: added IRQVector cap

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