barrelfish
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 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[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 agoQEMU: Use generic machine name
Lukas Humbel [Tue, 19 Jul 2016 08:01:44 +0000]
QEMU: Use generic machine name

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

4 years agoQEMU: Don't fail on disable pci link device
Lukas Humbel [Mon, 18 Jul 2016 15:05:20 +0000]
QEMU: Don't fail on disable pci link device

On qemu, the ACPI _DIS method does not work for all interrupt
controllers. Do not fail when this happens.

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

4 years agoQEMU: Increase buffer size for PCI routing table
Lukas Humbel [Fri, 8 Jul 2016 08:22:02 +0000]
QEMU: Increase buffer size for PCI routing table

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

4 years agoQEMU: Use a recent machine
Lukas Humbel [Thu, 7 Jul 2016 15:52:24 +0000]
QEMU: Use a recent machine

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

4 years agoZynq: got_base had KERNEL_OFFSET added twice.
David Cock [Tue, 19 Jul 2016 07:41:09 +0000]
Zynq: got_base had KERNEL_OFFSET added twice.

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

4 years agoMultiboot: Parse the "image" command.
David Cock [Tue, 19 Jul 2016 06:58:12 +0000]
Multiboot: Parse the "image" command.

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

4 years agoARMv7: Fixed a trigger-happy assert in arm_bootimage
David Cock [Tue, 19 Jul 2016 07:28:10 +0000]
ARMv7: Fixed a trigger-happy assert in arm_bootimage

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 [Mon, 18 Jul 2016 17:54:41 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish into zynq

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

Conflicts:
tools/arm_boot/arm_bootimage.c

4 years agoARMv7: Include boot driver section headers in boot image
David Cock [Mon, 18 Jul 2016 17:31:57 +0000]
ARMv7: Include boot driver section headers in boot image

This allows GEM5 to load the image.  It also means that debugging should be a
little more straightforward.

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

4 years agoe1000: changed net constant so e1000n works again with qemu.
Roni Häcki [Mon, 18 Jul 2016 14:25:10 +0000]
e1000: changed net constant so e1000n works again with qemu.

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

4 years agoharness: fix pandaboard machine
Simon Gerber [Mon, 18 Jul 2016 09:22:28 +0000]
harness: fix pandaboard machine

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

4 years agoarmv7: harness: fix FVP and qemu machines.
Simon Gerber [Mon, 18 Jul 2016 08:53:43 +0000]
armv7: harness: fix FVP and qemu machines.

 * handle modulenounzip in lib/multiboot.

ARMv7 FVP harness machine
 * Update mmap based on hake/menu.lst.armv7_a9ve

ARMv7 qemu harness machine:
 * Use 'menu.lst.armv7_a15ve'
 * Provide mmap
 * '--arch a15ve' instead of '--arch armv7' for qemu wrapper script

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

4 years agoharness: armv7: fix image names in harness machines
Simon Gerber [Mon, 18 Jul 2016 08:18:46 +0000]
harness: armv7: fix image names in harness machines

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

4 years agokernel: k1om: Update spawn_* functions to match new signature
Simon Gerber [Mon, 18 Jul 2016 08:11:22 +0000]
kernel: k1om: Update spawn_* functions to match new signature

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

4 years agoarmv7: make compile on Ubuntu 14.04 (GCC 4.8.2)
Simon Gerber [Mon, 18 Jul 2016 08:01:01 +0000]
armv7: make compile on Ubuntu 14.04 (GCC 4.8.2)

 * add __attribute__((noreturn)) for stuff in kernel/armv7 that calls panic().
 * add missing return statement in lib/multiboot.
 * Update README with needed freebsd-glue and libelf-freebsd-dev packages for
   arm_boot
 * cleanup format strings in arm_boot/arm_bootimage.c
 * fix compileNativeC to put linker flags after source file in
   hake/RuleDefs.hs

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

4 years agoARMv7: Tidied static bootloader code.
David Cock [Mon, 18 Jul 2016 07:56:03 +0000]
ARMv7: Tidied static bootloader code.

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

4 years agoARMv7: Removed tool hardcoding for usbboot build
David Cock [Fri, 15 Jul 2016 14:44:28 +0000]
ARMv7: Removed tool hardcoding for usbboot build

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

4 years agoARMv7: USB boot target for Pandaboard
David Cock [Fri, 15 Jul 2016 14:38:20 +0000]
ARMv7: USB boot target for Pandaboard

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

4 years agoARMv7: Brought usbboot into the Barrelfish tree.
David Cock [Fri, 15 Jul 2016 14:30:53 +0000]
ARMv7: Brought usbboot into the Barrelfish tree.

We can only boot with a customised version anyway, and this way we are forced
to maintain it, and users don't have to go trawling github for the right
version.  It's BSD licensed.

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

4 years agoARMv7: Unified image rules, and added .bin target
David Cock [Fri, 15 Jul 2016 09:25:09 +0000]
ARMv7: Unified image rules, and added .bin target

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

4 years agoZYNQ: Helps if the memory map is correct.
David Cock [Thu, 14 Jul 2016 20:23:48 +0000]
ZYNQ: Helps if the memory map is correct.

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

4 years agoZYNQ: We make it into init now.
David Cock [Thu, 14 Jul 2016 09:55:40 +0000]
ZYNQ: We make it into init now.

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

4 years agoZYNQ: Kernel boots as far as trying to spawn init.
David Cock [Wed, 13 Jul 2016 15:17:55 +0000]
ZYNQ: Kernel boots as far as trying to spawn init.

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

4 years agoARMv7: All existing platforms boot again
David Cock [Wed, 13 Jul 2016 14:58:30 +0000]
ARMv7: All existing platforms boot again

We're going to have to do something about usbboot though, it *really* wants to
jump at the beginning of the loaded image+0x1000, which is really hard to
achieve without buggering up alignments.

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

4 years agoARMv7: a9ve boots and passes memtest again.
David Cock [Wed, 13 Jul 2016 13:39:16 +0000]
ARMv7: a9ve boots and passes memtest again.

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

4 years agoARMv7: CPU driver reinitialised UART and prints.
David Cock [Wed, 13 Jul 2016 11:56:48 +0000]
ARMv7: CPU driver reinitialised UART and prints.

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

4 years agoARMv7: New-style platform rule for a9ve
David Cock [Wed, 13 Jul 2016 08:23:07 +0000]
ARMv7: New-style platform rule for a9ve

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

4 years agoARMv7: Fill inter-segment gaps in the prebuilt image.
David Cock [Wed, 13 Jul 2016 08:05:42 +0000]
ARMv7: Fill inter-segment gaps in the prebuilt image.

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

4 years agoARMv7: Pass multiboot pointer through a symbol for prebuild images.
David Cock [Wed, 13 Jul 2016 07:16:33 +0000]
ARMv7: Pass multiboot pointer through a symbol for prebuild images.

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

4 years agoARMv7: new loader creates MB header
David Cock [Tue, 12 Jul 2016 16:23:01 +0000]
ARMv7: new loader creates MB header

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

4 years agoARMv7: Boot image now includes CPU driver
David Cock [Tue, 12 Jul 2016 14:23:02 +0000]
ARMv7: Boot image now includes CPU driver

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

4 years agomenu.lst parsing library
David Cock [Tue, 12 Jul 2016 12:35:28 +0000]
menu.lst parsing library

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

4 years agoARMv7: CPU driver builds again - enough for testing.
David Cock [Tue, 12 Jul 2016 07:37:56 +0000]
ARMv7: CPU driver builds again - enough for testing.

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

4 years agoARMv7: New bootloader more or less works... a bit.
David Cock [Mon, 11 Jul 2016 20:30:52 +0000]
ARMv7: New bootloader more or less works... a bit.

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

4 years agoARMv7: First prototype of a new bootloader for simulators
David Cock [Mon, 11 Jul 2016 16:01:55 +0000]
ARMv7: First prototype of a new bootloader for simulators

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

4 years agoZYNQ: Clock tree probing.
David Cock [Fri, 8 Jul 2016 12:48:56 +0000]
ZYNQ: Clock tree probing.

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

4 years agoARMv7: QEmu target for Zynq
David Cock [Fri, 8 Jul 2016 12:48:06 +0000]
ARMv7: QEmu target for Zynq

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

4 years agoARMv7: Make init code show up in .text for debugging
David Cock [Fri, 8 Jul 2016 12:47:40 +0000]
ARMv7: Make init code show up in .text for debugging

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

4 years agoZynq: Serial console is up
David Cock [Wed, 6 Jul 2016 07:39:25 +0000]
Zynq: Serial console is up

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

4 years agoZynq: initial image builds.
David Cock [Tue, 5 Jul 2016 15:40:42 +0000]
Zynq: initial image builds.

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

4 years agoZYNQ: Added UART and System Control devices
David Cock [Tue, 5 Jul 2016 12:06:17 +0000]
ZYNQ: Added UART and System Control devices

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

4 years ago[tools] extending qemu-wrapper with ARMv8 support
Reto Achermann [Fri, 15 Jul 2016 14:32:57 +0000]
[tools] extending qemu-wrapper with ARMv8 support

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

4 years agoARMv7: Separated pre-MMU init code
David Cock [Fri, 8 Jul 2016 09:08:41 +0000]
ARMv7: Separated pre-MMU init code

The ARMv7 initialisation is now divided strictly into a pre-MMU phase and a
post-MMU phase, with the jump to arch_init_2 being a calculated long jump.
This doesn't make much difference on the Pandaboard and other platforms with
RAM at 0x80000000, but it makes it possible to support other RAM locations
with little or no change to the code.  This will be necessary for the Zynq.

There's a little assorted cleanup included in this patch, of the MMU init
code.

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

4 years agoARMv7: Moved MMU initialisation into C
David Cock [Fri, 8 Jul 2016 05:05:15 +0000]
ARMv7: Moved MMU initialisation into C

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

4 years agoARMv7: Improved cache code.
David Cock [Thu, 7 Jul 2016 14:49:43 +0000]
ARMv7: Improved cache code.

Moved a lot of cache manipulation into C, and started using clean and
invalidate correctly.  We're still *very* gung-ho about flushing the cache.

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

4 years agoARMv7: Update debug scripts to match renamings.
David Cock [Thu, 7 Jul 2016 07:59:47 +0000]
ARMv7: Update debug scripts to match renamings.

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

4 years agoARMv7: Enforce word-alignment for allocation.
David Cock [Thu, 7 Jul 2016 07:58:52 +0000]
ARMv7: Enforce word-alignment for allocation.

There's no guarantee that unaligned accesses are allowed when the kernel
boots, and the FVP simulator actually checks this.

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

4 years agoARMv7: Rationalised coreboot structures.
David Cock [Wed, 6 Jul 2016 16:46:28 +0000]
ARMv7: Rationalised coreboot structures.

Put the Multiboot header in the coredata struct, and allocate both in and the
globals (which now contains only the printf spinlock) in the BSP kernel's BSS.
We no longer rely on magic addresses.

Doing so exposed a latent bug, where code using the various alloc_phys()
functions were assuming that the output would be page-aligned, when that
wasn't guaranteed.  Added alloc_phys_aligned to all relevant prototypes.

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

4 years ago[Flounder] removing arch and platform files for no-longer supported ARM versions.
Reto Achermann [Mon, 4 Jul 2016 14:11:47 +0000]
[Flounder] removing arch and platform files for no-longer supported ARM versions.

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

4 years ago[Flounder] removing call/response message types from parser
Reto Achermann [Mon, 4 Jul 2016 11:47:11 +0000]
[Flounder] removing call/response message types from parser

this enforces changes made in f564f728716f9668724a561ec7144fcfb983ebde

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

4 years ago[libbarrelfish] allocating the proper size of memory for the structure
Reto Achermann [Wed, 29 Jun 2016 13:03:49 +0000]
[libbarrelfish] allocating the proper size of memory for the structure

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

4 years ago[libbarrelfish] don't abort in morecore when failed
Reto Achermann [Wed, 29 Jun 2016 06:30:16 +0000]
[libbarrelfish] don't abort in morecore when failed

Removing the second err_is_fail() condition to allow continue.

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

4 years agoRemoving trailing spaces.
Adam Turowski [Fri, 1 Jul 2016 08:04:09 +0000]
Removing trailing spaces.

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

4 years agoInterface definitions: Changing calls/responses into messages.
Adam Turowski [Fri, 1 Jul 2016 07:20:06 +0000]
Interface definitions: Changing calls/responses into messages.

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

4 years agoT263: Refactor retype() to allow object sizes < BASE_PAGE_SIZE for non-mappable types
Simon Gerber [Wed, 29 Jun 2016 13:20:21 +0000]
T263: Refactor retype() to allow object sizes < BASE_PAGE_SIZE for non-mappable types

This also removes the warning print about allocating RAM caps < BASE_PAGE_BITS
in mem_serv, and reverts dispatcher creation to allocate RAM caps of size
OBJBITS_DISPATCHER, rather than BASE_PAGE_BITS.

Closes T263.

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

4 years agoOMAP: Complete dynamic clock frequency probing.
David Cock [Wed, 29 Jun 2016 13:13:16 +0000]
OMAP: Complete dynamic clock frequency probing.

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

4 years agoARMv7: pruned unused devices from OMAP
David Cock [Tue, 28 Jun 2016 18:40:03 +0000]
ARMv7: pruned unused devices from OMAP

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

4 years agoT259: Unconditionally reset multihop binding capst.tx_capnum
Simon Gerber [Wed, 29 Jun 2016 13:06:09 +0000]
T259: Unconditionally reset multihop binding capst.tx_capnum

Closes T259.

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

4 years agoT259: monitor: properly initialize capops delete state
Simon Gerber [Wed, 29 Jun 2016 12:54:44 +0000]
T259: monitor: properly initialize capops delete state

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

4 years agoDevice Queue: added header file for device queue interface
Roni Häcki [Wed, 29 Jun 2016 12:36:38 +0000]
Device Queue: added header file for device queue interface

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

4 years agolibpcre: Masked uninitialised variable warning. release2016-06-29
David Cock [Wed, 29 Jun 2016 07:50:59 +0000]
libpcre: Masked uninitialised variable warning.

libpcre is spaghetti code, and I don't trust it at all.  Still, this warning
was *probably* spurious.

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

4 years agoARMv7: qemu harness definition
David Cock [Tue, 28 Jun 2016 15:29:34 +0000]
ARMv7: qemu harness definition

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

4 years agoharness: Removed qemu_scc
David Cock [Tue, 28 Jun 2016 12:57:39 +0000]
harness: Removed qemu_scc

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

4 years agoharness: gem5: fix get_platform()
Simon Gerber [Tue, 28 Jun 2016 14:41:28 +0000]
harness: gem5: fix get_platform()

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

4 years agoharness: Fix image generation for FVP and GEM5 machines to reflect renaming
Simon Gerber [Tue, 28 Jun 2016 13:03:23 +0000]
harness: Fix image generation for FVP and GEM5 machines to reflect renaming

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

4 years agoARMv7: Added QEmu boot target
David Cock [Tue, 28 Jun 2016 12:38:13 +0000]
ARMv7: Added QEmu boot target

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

4 years agoARMv7: Renamed _gem5 -> a15ve, _fvp -> a9ve
David Cock [Tue, 28 Jun 2016 12:22:30 +0000]
ARMv7: Renamed _gem5 -> a15ve, _fvp -> a9ve

The CPU drivers are actually generic, and the a15 one will run under QEmu

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

4 years agoARMv7: Switched GOT to r9 to match ARM PCS
David Cock [Tue, 28 Jun 2016 11:17:39 +0000]
ARMv7: Switched GOT to r9 to match ARM PCS

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

4 years agoARM: Removed sp804 driver, as the kernel no longer uses it.
David Cock [Tue, 28 Jun 2016 09:55:09 +0000]
ARM: Removed sp804 driver, as the kernel no longer uses it.

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

4 years agoARM: Removed traces of ARMv7-M and ARMv5 code.
David Cock [Tue, 28 Jun 2016 09:27:32 +0000]
ARM: Removed traces of ARMv7-M and ARMv5 code.

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

4 years agoUpdate gitignore.
Gerd Zellweger [Tue, 28 Jun 2016 08:25:30 +0000]
Update gitignore.

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

4 years ago[Improvement] Added KernelControlBlock for Capability identification.
Gerd Zellweger [Thu, 14 Jan 2016 10:52:55 +0000]
[Improvement] Added KernelControlBlock for Capability identification.

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

4 years ago[Improvement] Added Kernel control block identification.
Gerd Zellweger [Thu, 14 Jan 2016 10:51:51 +0000]
[Improvement] Added Kernel control block identification.

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

4 years ago[Bug] Fix assertion to check struct kcb instead of dcb.
Gerd Zellweger [Thu, 14 Jan 2016 10:47:20 +0000]
[Bug] Fix assertion to check struct kcb instead of dcb.

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

4 years agolibpcre: omit -Wshadow to unbreak ARM builds on GCC 4.7.3
Simon Gerber [Tue, 28 Jun 2016 07:09:58 +0000]
libpcre: omit -Wshadow to unbreak ARM builds on GCC 4.7.3

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

4 years agoARMv7: Switched to ARMv7+ TLS registers.
David Cock [Fri, 24 Jun 2016 14:53:19 +0000]
ARMv7: Switched to ARMv7+ TLS registers.

This frees up r9 for both kernel and user code.

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

4 years agoSKB: Updated libpcre to 8.39.
David Cock [Fri, 24 Jun 2016 14:45:30 +0000]
SKB: Updated libpcre to 8.39.

This fixes the array overflow bug, and makes the previous workaround
unnecessary.

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

4 years agoSKB: libpcre has a bug, and overflows the supplied result buffer.
David Cock [Fri, 24 Jun 2016 14:14:11 +0000]
SKB: libpcre has a bug, and overflows the supplied result buffer.

This is fixed in the latest upstream, but for the moment I've allocated a
sufficiently large buffer.

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

4 years agoT257: add some more debug output to usb_manager
Simon Gerber [Fri, 24 Jun 2016 09:19:45 +0000]
T257: add some more debug output to usb_manager

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

4 years agoT257: remove USB domains from default pandaboard menu.lst for now
Simon Gerber [Fri, 24 Jun 2016 09:19:26 +0000]
T257: remove USB domains from default pandaboard menu.lst for now

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

4 years agoomap44xx: do not use `div` as variable name
Simon Gerber [Fri, 24 Jun 2016 09:15:04 +0000]
omap44xx: do not use `div` as variable name

div() is defined in stdlib.h for integer division.

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

4 years agoARMv7: Removed inconsistent copy of kernel_timeslice
David Cock [Thu, 23 Jun 2016 14:41:47 +0000]
ARMv7: Removed inconsistent copy of kernel_timeslice

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

4 years agoOMAP44xx: Clock frequency discovery.
David Cock [Thu, 23 Jun 2016 14:33:10 +0000]
OMAP44xx: Clock frequency discovery.

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

4 years agoARMv7: Simplified jump table
David Cock [Thu, 23 Jun 2016 08:52:51 +0000]
ARMv7: Simplified jump table

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

4 years agoT257: add missing platform.h
Simon Gerber [Thu, 23 Jun 2016 12:15:41 +0000]
T257: add missing platform.h

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

4 years agoT257: use platform monitor RPC to figure out if we need to do Pandaboard usb initiali...
Simon Gerber [Thu, 23 Jun 2016 12:08:05 +0000]
T257: use platform monitor RPC to figure out if we need to do Pandaboard usb initialization

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

4 years agoARMv7: Removed the duplicate 'sys_stack'
David Cock [Wed, 22 Jun 2016 19:28:53 +0000]
ARMv7: Removed the duplicate 'sys_stack'

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

4 years agoplatforms/Hakefile: generate rule to copy arm_fvp menu.lst to build tree
Simon Gerber [Wed, 22 Jun 2016 14:41:42 +0000]
platforms/Hakefile: generate rule to copy arm_fvp menu.lst to build tree

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

4 years agoharness: fvp: supply proper kernel command line arguments and mmap
Simon Gerber [Wed, 22 Jun 2016 14:41:16 +0000]
harness: fvp: supply proper kernel command line arguments and mmap

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

4 years agoharness: gem5: supply proper kernel command line arguments
Simon Gerber [Wed, 22 Jun 2016 14:40:50 +0000]
harness: gem5: supply proper kernel command line arguments

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

4 years agoarmv7: cpuboot: use get_platform() monitor RPC to figure out which cpu driver to...
Simon Gerber [Wed, 22 Jun 2016 12:11:59 +0000]
armv7: cpuboot: use get_platform() monitor RPC to figure out which cpu driver to boot

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

4 years agoT254: kaluga: use new get_platform() monitor RPC to figure out what to do on armv7
Simon Gerber [Wed, 22 Jun 2016 12:10:16 +0000]
T254: kaluga: use new get_platform() monitor RPC to figure out what to do on armv7

Kaluga now runs device drivers on pandaboard again.

This closes T254.

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

4 years agoplatforms/Hakefile: copy menu.lst to build tree for all molly images
Simon Gerber [Wed, 22 Jun 2016 12:09:36 +0000]
platforms/Hakefile: copy menu.lst to build tree for all molly images

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

4 years agoT255: kernel cap invocation and monitor RPC to discover architecture and platform.
Simon Gerber [Wed, 22 Jun 2016 09:10:32 +0000]
T255: kernel cap invocation and monitor RPC to discover architecture and platform.

Closes T255.

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

4 years agoT254: kaluga: move arch-specific startup code into arch files
Simon Gerber [Wed, 22 Jun 2016 08:06:49 +0000]
T254: kaluga: move arch-specific startup code into arch files

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

4 years agoARMv7: Exception vectors in a simple jump table.
David Cock [Wed, 22 Jun 2016 11:17:24 +0000]
ARMv7: Exception vectors in a simple jump table.

The old scheme was complex and opaque, and not really needed.  We've now got
our exception vectors in a compiled jump table, that's mapped into place.

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

4 years agoARMv7: CPUID check on boot.
David Cock [Tue, 21 Jun 2016 11:57:12 +0000]
ARMv7: CPUID check on boot.

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