imx8x: Add Mackerel definition for GPIO

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

imx8: adding part of NIC dev file

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

imx8x: uSDHC driver

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

imx8: adding part of NIC dev file

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

Add lpuart kernel driver

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

armv7: Correct name PL130 to PL390

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

armv7: Move distributor driver to userspace

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

armv8: initial Raspberry Pi 3 support

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

devices: merge VTd with VTd_IOTLB device definitions

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

arm: adding gic v3

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

irq: enable msi-x in conf header on route setup

Same mechanism as with legacy interrupts, pci_int_ctrl is now managing
which interrupt model will be activated in the confspace.

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

IRQ: Getting the 82574 to trigger MSIxs...

The msix controller gets instantiated in the card, it gets
the correct message. The card is being set up to use MSIx.
But something is not working yet...

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

IRQ: Start with implementation of MSIx controller.

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

ARMv8: Remove generic_timer.dev (now in armv8.dev)

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

ARMv8: Give correct name to GIC files

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

GICv3: Add support for mem-mapped CPU interface

Not clear if this is working, since we don't have a interrupt source yet.

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

ARMv8: separating makerel file into related pieces

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

devices/giv_v3: Bug fixes

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Initial ARMv8 device file with backing sysreg implementation

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T308: Added e1000e mackerel and device driver stub

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

DeviceQueue: Solarflare driver added

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

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>

Zynq: initial image builds.

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

ZYNQ: Added UART and System Control devices

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

devices/acpi_ec_mem: ARM has ACPI but communicates using memory instead of an IO port.

This device is a precise copy of acpi_ec but uses MMIO to communicate
with the EC.

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

OMAP44xx: Clock frequency discovery.

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

ARMv7: CPUID check on boot.

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

Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

T24: remove remaining SCC code

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

apm88xxxx: implement kernel serial driver.

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

[T115] extending support for cpuid instruction

initial commit of a unified cpuid library for obtaining information
about cpu features, caches, tlbs, cores/threads etc.

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

Merge of upstream arrakis code.

This merge includes the following:
* VT-d (IOMMU) support
* VMX (Intel CPU virtualization) support
* Parallel hake build
* MegaRAID driver
* Subways fast packet forwarding application
* Identify physical address of VNodes
* libstorage (VSIC & VSA support)
* POSIX support: poll, uname, nanosleep, fsync, poll, pthread attributes, syslog, wait3, ...
* TenaciousD (persistent data structures: log & queue)
* Hack to skip boot RAM when it's too large
* Arranet: Support for raw IP sockets, interrupts
* Removal of colorful debug output
* MegaRAID blockdevfs support
* Arrakis compile wrappers for Autoconf
* Patches to binutils & GCC to build Arrakis C++ applications

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Signed-off-by: Simon Peter <simpeter@cs.washington.edu>
Signed-off-by: Oleg Godunok <ogodunok@gmail.com>
Signed-off-by: Antoine Kaufmann <antoinek@cs.washington.edu>
Signed-off-by: Jialin Li <lijl@cs.washington.edu>
Signed-off-by: Dalton Black <dalton.m.black@gmail.com>
Signed-off-by: Taesoo Kim <taesoo@uw.edu>

Extracted the Xeon Phi DMA channels out of the DMA device description.

Separated ioat dma into a new channel device

Renamed cb_dma.dev into ioat_dma.dev

Addition of Intel Crystal Beach DMA controller register specification

Xeon Phi DMA

initial design and layout of the Xeon Phi DMA functionality.

VirtIO and Xeon Phi Messaging

Added a new message type for the xeon phi messaging subsystem to handle
addition of new ring buffer descriptors.

Extended the implementation of VirtIO. Refactoring of the internal and
external headers to match data encapsulation.

Merge commit try 2

Replaced pci with arrakis branch

Xeon Phi Host Driver

- Initialization of the PCI device
- Interrupt enable/disable
- SMPT management
- Reset sequence
- Diverse additions to the mackerel device specification

Removed old KNC devices Added: Xeon Phi Boot Devices Added: Xeon Phi host driver Fixed: compilation issue with serial Adapted: use of mackerel for xeon phi serial driver.

The Arrakis backport to Barrelfish.

Here are the macro changes:
* Made lwIP an optional network stack
* Moved lwIP headers out of the general include directory
* Parallel hake
* CPU-virtualized ("arrakis") applications
* libarrakis is a new libOS that uses CPU features directly
* arrakismon is a new monitor for Arrakis apps
* QEMU Multiboot support instead of GRUB (enables KVM)
* e10k virtual function driver
* Software virtual->physical mapping (substitutes IOMMU)
* To be replaced soon with an Intel IOMMU driver
* Better GDB and stack tracing support
* New POSIX support
* pthreads, inet_*(), usleep(), syslimits.h, sigaction(), mman.h,
* resource.h, sendmsg(), recvmsg(), mkfifo(), syslog.h, sysexits.h,
* fcntl(), getegid(), getgid(), pipe(), rlimits
* epoll support
* Separate waitset for interrupts
* Thread TLS key and ID support
* Moved PCRE headers to include/, where they usually are
* Intel performance counters support
* Handle boot-time RAM overflow (for machines with >=64GB RAM)
* Arranet network stack
* Fix for build of lib/barrelfish/arch/x86_64/dispatch.c without -O2
* New comandline options to pci daemon:
* maxvfs=x, x is number of virtual functions to create for each
* device supporting it
* skb_bridge_program=x, x is SKB bridge programming script to use
* bridge_bios is a script that uses the BIOS pre-set values, like Linux
* Correctly build machine-optimized newlib parts
* Library versions of e1000 and e10k drivers
* Support for virtualization in e10k driver
* e10k datacenter control plane daemon
* Modified hellotest to be both a Barrelfish and an Arrakis application

I've decided not to include the lwIP 1.4.1 code, as the port is
not finished and who wants to use lwIP anyway with the Arrakis
network stack and mTCP being released soon. If you want this,
let me know (it's hugely superior to lwIP 1.3.1).

I've made the code backwards-compatible with Barrelfish. The
default should do what Barrelfish does. One can specify
commandline options to the PCI daemon and e10k driver to
configure I/O virtualization and the optional arrakismon allows
loading CPU-virtualized "arrakis" programs.

There are more pending changes, such as support for hardware
rate limiting and weighted round robin packet scheduling, but
I'd like these to go in first, before I push the rest.

Cleaned up omap44xx uart3 device file.

Added basic support for the Cortex A9 Global Timer

The Cortex A9 global timer is a 64-bit incrementing counter, which
is memory mapped in the private memory region. Thus, the code for
the timer is currently all in the CPU driver.

To read out the timer in userspace, two system calls are needed,
one for the lower and and one for the upper half of the counter.
The following helper function is provided to correctly read out
the timer value in two 32 bit reads as suggested in the ARM TRM:

errval_t sys_debug_hardware_global_timer_read(uint64_t *ret)

Cleaned up OMAP4460 SDMA Mackerel file

Changed to use regarrays for channels, instead of individual definitions,
added scatter-gather descriptors and fixed some minor typos.

Removed duplicate entries in devices Hakefile

Removed duplicate device file entries

MMCHS driver for OMAP4 platform.

Simple driver that can read and write blocks one-at-the-time
on a SDHC card on the pandaboard. We currently don't support SD or MMC cards.
The code was written to for the AOS course at ETH.

Also contains an implementation for the ata_rw28 interface to work with the VFS
FAT implementation.

updated devices around cortex-m3

fixed ro flag in mmu TTB
removed old autogenerated duplicate of mmu
added cortex-m3 nvic

add kernel support for OMAP44XX spinlock module

added simple spinlock driver (similar to serial driver)
set kputchar to use spinlocks on pandaboard
cleaned up mackerel device

Mackerel Code for USB Init, partial

Replaced any non ASCII Chars in the Mackerel files
Added some Mackerel code to the kernel.

pandaboard: Bugfixes after merge

Cleaned up omap padconf core mackerel file and added it to hake.

Fixed indention in devices Hakefile.

MMCHS driver cleanup

Using generated mackerel files in CM2.

MMCHS and I2C code imported into main tree right now as a kernel-space library.

Needs to be changed to a user space driver.

(library) driver for face detection that can run inside the kernel right now.

Added omap44xx_mmu again to fix dependency error when building arm_gem5_image.
Improved code formatting.

I've finished the work on the e1000 driver. All previous out standing issues have now been resolved.

* e1000 driver now works under Qemu, Simics and VirtualBox.
* Extended the number of supported NICs.
* Moved the e1000 driver to Mackerel 2 interface.
* e1000n_hwinit.c:
* e1000 driver now takes in consideration what card you have. Handles different cards more correctly.
* EEPROM: Extended the set of cards where eeprom reads are handled correctly for that card.
* Extended this set of supported cards.
* Checking that EEPROM read is done.
* Bailout and inform if EEPROM is not present.
* New read MAC address code.
* New card reset code.
* MAC address: Was not programmed correctly.
* Setting serial interface correctly for more cards. (previously same setting was made for all cards.)
* Link auto-negotiation. (previously link type and speed was forced disregarding if it was supported by media)
* Correctly setting hardware supported receive buffer size.
* Setting Transmit Inter Packet Gap (TIPG) correctly for more cards.
* Setting Interrupt Throttling to recommended values.
* e1000.dev: added register and updated various registers.
* e1000n.c: Removed uncommented code.
* Renamed some variables and function to make clear what they do.
* Added #ifdefine for parts that wore commented out but marked as "useful" for some purpose, such as CONFIG_MICROBENCHMARKS.
* Added probing for card type.
* Added help option.
* Added comments/documentation.
* Print of detected link speed and type.
* Updated printing of debug messages and ordinary messages.
* Fixed wrong max packet receive length for ethernet. (previous value was the max transmit size - They differ due to CRC)
* Other bug fixes minor.

USB hardware initialization in the omap kernel. Some implementation of the ehci controller

Flounder Defs and Mackerel Dev

--HG--
rename : if/usb.if => if/usb_manager.if
rename : usr/drivers/usb/usb_manager/usb_device.h => include/usb/usb_device.h
rename : usr/drivers/usb/usb_manager/usb_xfer.h => include/usb/usb_xfer.h

Add pandammu.
---
devices/Hakefile | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)

Fix whitespace in devices Hakefile.
---
devices/Hakefile | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)

Reorged files.
GPIO defintions.
Flash one LEd :-(

--HG--
rename : devices/omap44xx_id.dev => devices/omap/omap44xx_id.dev
rename : devices/omap44xx_usbconf.dev => devices/omap/omap44xx_usbconf.dev
rename : devices/omap_uart.dev => devices/omap/omap_uart.dev

Cleaned up some assembly.
Added memory sizing (currently unused, but helpful).

Some fixes.

Added USB configuration block

Cleaned up init code somewhat.

Adding an OMAP UART kernel driver and OMAP architecture integrator to
the ARM GEM5 architecture.

added cortex-a9 snoop control unit device description

- kernel ready
- added 3 new devices for development board
- temporary added debug printfs

Amalgamated EHCI definitions into one file, and added datatypes.
Added more permissible datatype sizes to Mackerel.
Tweak to pit.c to include devices from the current directory.

OHCI USB controller mackerel definition.
Prettyprinting fixes to Mackerel.
Beginnings of a USB UHCI driver for Qemu.

Added AHCI driver (ahcid), AHCI user-space library (libahci), AHCI Flounder backend, block device file system (in libvfs), and various tests and benchmarks for the above.
Source: Distributed Systems Lab: A Messaging Interface to Disks (Manuel Stocker, Mark Nevill, Simon Gerber).

Initial commit of e10k driver (Intel 82599 10GbE Nic)

Ported RTL driver to Mackerel shift driver - but not yet tested.

Fixed acpi code to use new Mackerel driver.

Converted the pic and xapic drivers to use the Mackerel shift driver syntax.

Fixed weird crashing bug.

--HG--
rename : devices/x86_64_pagetable.dev => devices/amd64.dev

Fixed several serious Mackerel bugs (including access to fields in datatypes larger than 64 bits)
Added support for register types to be constant types.
Converted ia32_dev to the Shift driver rather than the old Bitfield driver.

Latent weirdness in the XScale build process (which could probably be
rationalized), together with further tweaking of device files.

--HG--
rename : devices/ixp2800_icp_pic.dev => devices/ixp2800_icp_pic0.dev

Fixed more inconsistent device names, this time for ARM.

--HG--
rename : devices/arm_icp_pic.dev => devices/arm_icp_pic0.dev

Added gratuitous uhci device, for qemu support in the future.

Removed spurious device include.

Cleanup: removed redundant cmos.dev (lpc_rtc.dev has it all).
Moved rtc in-kernel driver to use Shift driver.
Made it clearer that the bitfield driver is deprecated for new devices.
Fixed minor bug in Shift driver.

Now compiling all X86 code; renamed identifiers for consistency.

--HG--
rename : devices/pc16550d_uart.dev => devices/pc16550d.dev

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.