barrelfish
4 years agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Adam Turowski [Tue, 26 Jul 2016 11:58:57 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

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

4 years agoAdjustments of IPC to match new convention (static buffers).
Adam Turowski [Tue, 26 Jul 2016 11:36:51 +0000]
Adjustments of IPC to match new convention (static buffers).
(Flounder) Fixing a token passing in 32-bit architectures.

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

4 years agofish: add missing include to unbreak build
Reto Achermann [Tue, 26 Jul 2016 10:04:30 +0000]
fish: add missing include to unbreak build

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

4 years agoAdding maximum size to variable arrays in flounder definitions. Converting
Adam Turowski [Tue, 26 Jul 2016 09:22:59 +0000]
Adding maximum size to variable arrays in flounder definitions. Converting
one TArray to normal arguments.

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

4 years agocoreboot: fixing build after moving acpi rpc include
Reto Achermann [Tue, 26 Jul 2016 09:20:14 +0000]
coreboot: fixing build after moving acpi rpc include

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

4 years agoFlounder support for tokens in messages, removing dynamic allocation of
Adam Turowski [Tue, 26 Jul 2016 09:00:16 +0000]
Flounder support for tokens in messages, removing dynamic allocation of
variable arrays, adding maximum size of variable arrays, event channels
for messages, multi-threaded RPC's, new RPC calling convention.

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

4 years agoacpi: adding functionality to lookup a device handle and to evaluate integer on it.
Reto Achermann [Tue, 26 Jul 2016 08:49:36 +0000]
acpi: adding functionality to lookup a device handle and to evaluate integer on it.

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

4 years agoacpi_client: removing include from public header
Reto Achermann [Tue, 26 Jul 2016 07:59:21 +0000]
acpi_client: removing include from public header

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

4 years agoMulti-threaded waitsets, tokens added to IPC messages.
Adam Turowski [Tue, 26 Jul 2016 08:22:50 +0000]
Multi-threaded waitsets, tokens added to IPC messages.

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

4 years agoinit, pci: IO_CAP doesn't exist on ARMv8. Do not try to access it.
Moritz Hoffmann [Tue, 26 Jul 2016 01:33:05 +0000]
init, pci: IO_CAP doesn't exist on ARMv8. Do not try to access it.

The changes should be abstracted into platform dependent code.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agomm: Fix mm_debug_print for null arguments and handle NodeType_Dummy.
Moritz Hoffmann [Tue, 26 Jul 2016 01:32:00 +0000]
mm: Fix mm_debug_print for null arguments and handle NodeType_Dummy.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agokernel/armv8: Do not create iocap on ARMv8.
Moritz Hoffmann [Tue, 26 Jul 2016 01:31:15 +0000]
kernel/armv8: Do not create iocap on ARMv8.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agokernel/armv8: Remove unused code. Create caps for gaps in mmap.
Moritz Hoffmann [Tue, 26 Jul 2016 01:30:26 +0000]
kernel/armv8: Remove unused code. Create caps for gaps in mmap.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agokernel/armv8: Remove debug print.
Moritz Hoffmann [Tue, 26 Jul 2016 01:29:48 +0000]
kernel/armv8: Remove debug print.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoarmv8: Do not invalidate D and I cache on context switch. This needs to be revised.
Moritz Hoffmann [Tue, 26 Jul 2016 01:29:13 +0000]
armv8: Do not invalidate D and I cache on context switch. This needs to be revised.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoacpi: SRAT processing; use provided length and add case for ARM GIC.
Moritz Hoffmann [Mon, 25 Jul 2016 18:00:41 +0000]
acpi: SRAT processing; use provided length and add case for ARM GIC.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoacpi: Ignore PCI devices without _ADR. Should look at _HID instead.
Moritz Hoffmann [Mon, 25 Jul 2016 17:59:48 +0000]
acpi: Ignore PCI devices without _ADR. Should look at _HID instead.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoharness: adding skb ramfs to the menu.lst for the tests.
Reto Achermann [Mon, 25 Jul 2016 15:54:26 +0000]
harness: adding skb ramfs to the menu.lst for the tests.

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

4 years agohake: adding generic modules to menu.lst files for ARMv7
Reto Achermann [Mon, 25 Jul 2016 14:57:45 +0000]
hake: adding generic modules to menu.lst files for ARMv7

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

4 years agoARMv7: adding generic modules to build targets on ARMv7
Reto Achermann [Mon, 25 Jul 2016 14:56:50 +0000]
ARMv7: adding generic modules to build targets on ARMv7

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

4 years agolibbarrelfish/armv7: increasing the PMAP reserved meta size to 4MB
Reto Achermann [Mon, 25 Jul 2016 14:54:47 +0000]
libbarrelfish/armv7: increasing the PMAP reserved meta size to 4MB

Running the SKB on ARMv7 needs more room for slabs.

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

4 years agoFix missing include in python test.
Gerd Zellweger [Mon, 25 Jul 2016 13:54:35 +0000]
Fix missing include in python test.

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

4 years agolibbarrelfish/armv7: adding missing debug syscall.
Reto Achermann [Mon, 25 Jul 2016 13:38:37 +0000]
libbarrelfish/armv7: adding missing debug syscall.

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

4 years agoOMAP44xx: Added memory map entry for voltage control
David Cock [Fri, 22 Jul 2016 14:22:40 +0000]
OMAP44xx: Added memory map entry for voltage control

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

4 years agoOMAP44xx: Bumped Pandaboard clock to 600MHz.
David Cock [Fri, 22 Jul 2016 13:19:24 +0000]
OMAP44xx: Bumped Pandaboard clock to 600MHz.

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

4 years agoVariable renamings, fixing event_mutex locking and thread_unblock_one.
Adam Turowski [Mon, 25 Jul 2016 13:12:13 +0000]
Variable renamings, fixing event_mutex locking and thread_unblock_one.

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

4 years agoChecking in malloc/free for double frees. Debug printf can now be called from any...
Adam Turowski [Mon, 25 Jul 2016 12:53:29 +0000]
Checking in malloc/free for double frees. Debug printf can now be called from any context.

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

4 years agoRe-added accidentially removed files.
Gerd Zellweger [Mon, 25 Jul 2016 11:40:14 +0000]
Re-added accidentially removed files.

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

4 years agoskb/armv7: enabling full SKB for ARMv7
Reto Achermann [Mon, 25 Jul 2016 10:56:20 +0000]
skb/armv7: enabling full SKB for ARMv7

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

4 years agoskb: do not use full vfs for SKB.
Reto Achermann [Mon, 25 Jul 2016 10:51:41 +0000]
skb: do not use full vfs for SKB.

using full VFS makes the SKB depend on megaraid which is not
available on other platforms than x86.

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

4 years agoarmv7: do not fix address of data region in linker.
Reto Achermann [Mon, 25 Jul 2016 10:47:57 +0000]
armv7: do not fix address of data region in linker.

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

4 years agoEclipseCLP: adding workaround to allow it compile on ARMv7
Reto Achermann [Mon, 25 Jul 2016 09:34:45 +0000]
EclipseCLP: adding workaround to allow it compile on ARMv7

EcliseCLP defines a function named 'false' and has a struct with
a field 'bool'. This causes troubles on ARMv7 using gcc and it
won't compile, because stdbool.h is included.

Adding readme which files needed to be adapted.

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

4 years agolibcrt/arm: removing defined function 'raise' in assembly file
Reto Achermann [Mon, 25 Jul 2016 09:31:52 +0000]
libcrt/arm: removing defined function 'raise' in assembly file

The defined function 'raise' in the libcrt assembly file for ARMv7
caused conflicts with libposixcompat/signal's raise function().
it does not seem that this function is needed anywhere.

Also: replacing tabs with spaces.

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

4 years agoInitial import of block device refactoring.
Gerd Zellweger [Fri, 15 Jul 2016 08:32:19 +0000]
Initial import of block device refactoring.

- Refactors existing AHCI code to use device queue interface.
- Adds harness test for disks.
- Adds some minor improvements for scalebench harness.
- Disable vtd due to some bug with the identity mapping on babybel machines.

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

Conflicts:
usr/acpi/acpi_main.c

4 years agocpuboot: restructuring Hakefile
Reto Achermann [Fri, 22 Jul 2016 15:34:07 +0000]
cpuboot: restructuring Hakefile

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

4 years agocoreboot: using PRIuGENSIZE in print statements
Reto Achermann [Fri, 22 Jul 2016 15:33:27 +0000]
coreboot: using PRIuGENSIZE in print statements

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

4 years agocoreboot: using hw_records in list cpu
Reto Achermann [Fri, 22 Jul 2016 15:32:42 +0000]
coreboot: using hw_records in list cpu

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

4 years agokernel: passing alloc_phys_aligned on 32-bit
Reto Achermann [Fri, 22 Jul 2016 14:20:34 +0000]
kernel: passing alloc_phys_aligned on 32-bit

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

4 years agokernel/kpi: using PRIuGENSIZE in print statements
Reto Achermann [Fri, 22 Jul 2016 14:19:43 +0000]
kernel/kpi: using PRIuGENSIZE in print statements

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

4 years agolibbarrelfish/libmm: using PRIuGENSIZE in print statements
Reto Achermann [Fri, 22 Jul 2016 14:18:49 +0000]
libbarrelfish/libmm: using PRIuGENSIZE in print statements

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

4 years agokaluga: making booting of cores less x86-focused
Reto Achermann [Fri, 22 Jul 2016 14:17:34 +0000]
kaluga: making booting of cores less x86-focused

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

4 years agoacpi: separating interrupt setup into ARM and X86, use of hw_records.h
Reto Achermann [Fri, 22 Jul 2016 14:15:56 +0000]
acpi: separating interrupt setup into ARM and X86, use of hw_records.h

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

4 years agoacpi: fixing mistyped variable
Reto Achermann [Fri, 22 Jul 2016 14:15:26 +0000]
acpi: fixing mistyped variable

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

4 years agokaluga: adding wrapper to allow cpu type specific corectrl lookup
Reto Achermann [Fri, 22 Jul 2016 12:01:08 +0000]
kaluga: adding wrapper to allow cpu type specific corectrl lookup

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

4 years agoIntroduction of hw_records headers.
Reto Achermann [Fri, 22 Jul 2016 11:56:52 +0000]
Introduction of hw_records headers.

Through out the source code, there are various strings that need be kept
in sync with each other, e.g. the format of the hw.procsesor {} entries
in octopus: set by acpi, used by kaluga, coreboot etc.

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

4 years agoARMv8: implementation of rdtsc() and rdtscp() equivalentis
Reto Achermann [Fri, 22 Jul 2016 07:21:06 +0000]
ARMv8: implementation of rdtsc() and rdtscp() equivalentis

Currently using the virtual count register.

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

4 years agoARMv8: Enabling access to counters from userspace.
Reto Achermann [Fri, 22 Jul 2016 07:08:42 +0000]
ARMv8: Enabling access to counters from userspace.

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

4 years agolibbarrelfish: handling polling of waitset on aarch64
Reto Achermann [Thu, 21 Jul 2016 16:57:45 +0000]
libbarrelfish: handling polling of waitset on aarch64

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

4 years agoARMv8: adding GIC memory maps for Cortex A53, A57 and A72
Reto Achermann [Thu, 21 Jul 2016 15:04:03 +0000]
ARMv8: adding GIC memory maps for Cortex A53, A57 and A72

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

4 years agoFixing misnomer in Cortex A15 GIC memory map.
Reto Achermann [Thu, 21 Jul 2016 15:01:58 +0000]
Fixing misnomer in Cortex A15 GIC memory map.

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

4 years agoARMv8: adding PCI domain to the build target of ARMv8 QEMU
Reto Achermann [Thu, 21 Jul 2016 15:01:24 +0000]
ARMv8: adding PCI domain to the build target of ARMv8 QEMU

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

4 years agoHake: Cleanup of menu.lst.armv8_qemu.
Reto Achermann [Thu, 21 Jul 2016 15:00:27 +0000]
Hake: Cleanup of menu.lst.armv8_qemu.

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

4 years agoARMv8: reading CBAR register correctly
Reto Achermann [Thu, 21 Jul 2016 14:59:44 +0000]
ARMv8: reading CBAR register correctly

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

4 years agoZYNQ: Added QEMU harness definition
David Cock [Thu, 21 Jul 2016 14:24:26 +0000]
ZYNQ: Added QEMU harness definition

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

4 years agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
David Cock [Thu, 21 Jul 2016 14:16:14 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

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

4 years agoRevert "T211: Update fof to work with new Monad behaviour of GHC 7.10"
Reto Achermann [Thu, 21 Jul 2016 08:54:54 +0000]
Revert "T211: Update fof to work with new Monad behaviour of GHC 7.10"

We are not yet moved to the 16.04 toolchain. Reverting this cherry-picked commit.

This reverts commit 80704c2e5ce15469de19dfa25fe1c4454af4cfdc.

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

4 years agotools/qemu-wrapper: adding $SMP parameter and debug invokation for ARMv8
Reto Achermann [Thu, 21 Jul 2016 08:34:16 +0000]
tools/qemu-wrapper: adding $SMP parameter and debug invokation for ARMv8

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

4 years agoharness: adding 'hagfish_location' to the default config for tests
Reto Achermann [Thu, 21 Jul 2016 08:24:25 +0000]
harness: adding 'hagfish_location' to the default config for tests

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

4 years ago[harness] adding HAGFISH_LOCATION to the site config
Reto Achermann [Thu, 21 Jul 2016 08:16:37 +0000]
[harness] adding HAGFISH_LOCATION to the site config

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

4 years agoARMv7: Generate GDB scripts
David Cock [Thu, 21 Jul 2016 08:13:18 +0000]
ARMv7: Generate GDB scripts

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

4 years agoMerge of missing commits from origin/acpia branch into origin/master
Reto Achermann [Thu, 21 Jul 2016 07:29:05 +0000]
Merge ... missing commits from origin/acpia branch into origin/master

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

4 years agoARMv7: Place non-boot cores into WFE on entry
David Cock [Thu, 21 Jul 2016 07:22:26 +0000]
ARMv7: Place non-boot cores into WFE on entry

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

4 years agoAdding hagfish location to ARMv8 debug qemu target
Reto Achermann [Thu, 21 Jul 2016 07:06:34 +0000]
Adding hagfish location to ARMv8 debug qemu target

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

4 years agokernel/armv8/tmas: Poor man's relocation of uart base. Needs to be improved.
Moritz Hoffmann [Thu, 21 Jul 2016 02:39:14 +0000]
kernel/armv8/tmas: Poor man's relocation of uart base. Needs to be improved.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoacpi: Add missing files for x86 to Hakefile.
Moritz Hoffmann [Thu, 21 Jul 2016 00:29:12 +0000]
acpi: Add missing files for x86 to Hakefile.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agobarrelfish_kpi: Add new ACPI_TABLE region type.
Moritz Hoffmann [Thu, 21 Jul 2016 00:28:53 +0000]
barrelfish_kpi: Add new ACPI_TABLE region type.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoMerge branch 'master' into tmas
Moritz Hoffmann [Wed, 20 Jul 2016 20:53:46 +0000]
Merge branch 'master' into tmas

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoMerge branch 'acpica'
Moritz Hoffmann [Wed, 20 Jul 2016 19:54:36 +0000]
Merge branch 'acpica'

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agohake, platforms: include armv8_qemu menu list, build platform correctly.
Moritz Hoffmann [Wed, 20 Jul 2016 18:47:17 +0000]
hake, platforms: include armv8_qemu menu list, build platform correctly.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoFinish merge with current master.
Moritz Hoffmann [Wed, 20 Jul 2016 18:46:26 +0000]
Finish merge with current master.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years ago[ACPI] [ARMv8] adding support of processor discovery
Reto Achermann [Wed, 20 Jul 2016 16:28:14 +0000]
[ACPI] [ARMv8] adding support of processor discovery

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

4 years agoMerge branch 'master' into tmas
Moritz Hoffmann [Wed, 20 Jul 2016 15:58:08 +0000]
Merge branch 'master' into tmas

4 years ago[ACPI] disabling debug output
Reto Achermann [Wed, 20 Jul 2016 15:52:37 +0000]
[ACPI] disabling debug output

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

4 years ago[ARMv8] temporarly disable memory region coalescing in create_phys_caps
Reto Achermann [Wed, 20 Jul 2016 15:23:46 +0000]
[ARMv8] temporarly disable memory region coalescing in create_phys_caps

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

4 years ago[ARMv8] adding locations of the ACPI tables to bootinfo structure
Reto Achermann [Wed, 20 Jul 2016 15:22:22 +0000]
[ARMv8] adding locations of the ACPI tables to bootinfo structure

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

4 years ago[ARMv8] adding defines for address space sizes in bits
Reto Achermann [Wed, 20 Jul 2016 15:19:22 +0000]
[ARMv8] adding defines for address space sizes in bits

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

4 years agoOMAP44xx: DS-5 debug scripts for the Pandaboard.
David Cock [Wed, 20 Jul 2016 15:19:06 +0000]
OMAP44xx: DS-5 debug scripts for the Pandaboard.

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

4 years ago[ACPI] separating main for ARM and x86
Reto Achermann [Wed, 20 Jul 2016 15:15:43 +0000]
[ACPI] separating main for ARM and x86

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

4 years ago[ACPI] adding function to set the root table pointer
Reto Achermann [Wed, 20 Jul 2016 15:15:18 +0000]
[ACPI] adding function to set the root table pointer

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

4 years agoARMv7: usbboot can now handle arbitrary entry points.
David Cock [Wed, 20 Jul 2016 14:41:55 +0000]
ARMv7: usbboot can now handle arbitrary entry points.

This means that the entry point no longer needs to be at the start of the
loaded segment - usbboot will read the entry point from the ELF, and pass that
to the second-stage loader.  This removes a restriction on ARMv7 boot driver
linking, and saves a little space.

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

4 years agoARMv7: Removed old menu.lst files.
David Cock [Wed, 20 Jul 2016 14:27:05 +0000]
ARMv7: Removed old menu.lst files.

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

4 years agoARMv7: Updated DS-5 FVP debug scripts.
David Cock [Wed, 20 Jul 2016 14:23:45 +0000]
ARMv7: Updated DS-5 FVP debug scripts.

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

4 years agoBuild stripped binaries, with debug symbols in name.debug
David Cock [Wed, 20 Jul 2016 13:27:39 +0000]
Build stripped binaries, with debug symbols in name.debug

This cuts the size of binaries by 4x-5x, and the size of the Pandaboard boot
image from ~86MB to 16MB, which loads a *lot* faster.

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

4 years ago[ACPI] whitespace changes in acpi_main.
Reto Achermann [Wed, 20 Jul 2016 10:59:08 +0000]
[ACPI] whitespace changes in acpi_main.

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

4 years ago[ACPI] making ACPI architecture specific
Reto Achermann [Wed, 20 Jul 2016 10:48:02 +0000]
[ACPI] making ACPI architecture specific

Separating osglue, service and acpi functions into architecture
dependend parts.

Adding build target for ARMv8

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

4 years ago[ACPI] adding cases for the new interrupt types
Reto Achermann [Wed, 20 Jul 2016 10:47:18 +0000]
[ACPI] adding cases for the new interrupt types

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

4 years ago[ACPI] fixing compilation errors with updated library
Reto Achermann [Wed, 20 Jul 2016 10:46:26 +0000]
[ACPI] fixing compilation errors with updated library

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

4 years agoARMv7: Made some improvements to usbboot.
David Cock [Wed, 20 Jul 2016 10:40:50 +0000]
ARMv7: Made some improvements to usbboot.

The bulk transfer now incorporates acknowledgements, which seems to help keep
the two ends in synch, and I was able to push the chunk size to 64k, for a
marginal speed improvement.  More significantly, there are now fewer hardcoded
sleeps, so the overall boot process is faster.

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

4 years agoacpi: Delete old libacpica.
Moritz Hoffmann [Tue, 19 Jul 2016 21:11:46 +0000]
acpi: Delete old libacpica.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoacpi: Switch to new libacpica
Moritz Hoffmann [Tue, 19 Jul 2016 21:11:27 +0000]
acpi: Switch to new libacpica

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agolib/acpica: Barrelfish integration
Moritz Hoffmann [Tue, 19 Jul 2016 21:11:04 +0000]
lib/acpica: Barrelfish integration

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoMerge commit 'cbcc2995fb41db00f4dbee79451f0e56f06c261a' as 'lib/acpica'
Moritz Hoffmann [Tue, 19 Jul 2016 17:58:33 +0000]
Merge commit 'cbcc2995fb41db00f4dbee79451f0e56f06c261a' as 'lib/acpica'

4 years agoSquashed 'lib/acpica/' content from commit 34ccd43
Moritz Hoffmann [Tue, 19 Jul 2016 17:58:33 +0000]
Squashed 'lib/acpica/' content from commit 34ccd43

git-subtree-dir: lib/acpica
git-subtree-split: 34ccd43af3fd1870fddfac0617dd0ba706963558

4 years agoskb: remove old eclipseclp release2016-07-20
Moritz Hoffmann [Tue, 19 Jul 2016 17:09:33 +0000]
skb: remove old eclipseclp

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agohake/armv8: Do not fix text and data segment addresses.
Moritz Hoffmann [Tue, 19 Jul 2016 16:25:12 +0000]
hake/armv8: Do not fix text and data segment addresses.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

4 years agoARMv7: Made some improvements to usbboot.
David Cock [Tue, 19 Jul 2016 13:11:50 +0000]
ARMv7: Made some improvements to usbboot.

Customised a bit for Barrelfish now, and supports loading from an ELF without
specifying an explicit base address.  The existing code was also chopping the
last few hundred bytes off of every image it loaded.

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

4 years ago[ARMv8] adding comments stating assumptions on state upon start
Reto Achermann [Tue, 19 Jul 2016 12:51:54 +0000]
[ARMv8] adding comments stating assumptions on state upon start

When arch_init is called, the ARMv8 kernel expects to be running
in high addresses having all pointers being relocated to high memory
and exception level is set to EL_1

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

4 years ago[platforms] adding ARMv8 qemu targetse to platforms/Hakefile
Reto Achermann [Tue, 19 Jul 2016 12:33:30 +0000]
[platforms] adding ARMv8 qemu targetse to platforms/Hakefile

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

4 years ago[ARMv8] remove debug syscall duplication introduced in 0eb4d9a478cbaf489153af8c10067d...
Reto Achermann [Tue, 19 Jul 2016 11:42:28 +0000]
[ARMv8] remove debug syscall duplication introduced in 0eb4d9a478cbaf489153af8c10067d70c85c0

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

4 years ago[ARMv8] make sure stack is relocated to high addresses
Reto Achermann [Tue, 19 Jul 2016 10:56:00 +0000]
[ARMv8] make sure stack is relocated to high addresses

On QEMU, CPU driver starts in EL1, which caused stack and code
not to be executed in high addresses. We add the kernel offset
to the addresses before we call arch_init

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