History log of /barrelfish-master/usr/kaluga/debug.h
Revision Date Author Comments
# 9bd8d1d5 03-Apr-2019 Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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


# a99fe758 07-Jul-2017 Gerd Zellweger <mail@gerdzellweger.com>

Change the pandaboard drivers to new driver format.

This includes major refactoring in Kaluga, SDMA, MMCHS, FDIF drivers
along with the addition of new drivers such as cm2, twl6030 etc.

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


# 2e000e56 13-Jul-2016 Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: Refactor into int_route_client library, add legacy int range

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


# 96637968 28-Jul-2016 David Cock <david.cock@inf.ethz.ch>

ARMv7: Console now works on Pandabord and Zynq

This patch includes a rewrite of the omap44xx kernel uart driver, to match
that in usr/drivers/serial/serial_omap44xx.c

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


# d3527170 27-Jul-2016 David Cock <david.cock@inf.ethz.ch>

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

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


# f2c10df4 26-Nov-2014 Gerd Zellweger <mail@gerdzellweger.com>

Disable debugging.


# dee39dc6 26-Nov-2014 Gerd Zellweger <mail@gerdzellweger.com>

Pass custom kernel arguments to corectrl if they exist (in menu.lst)

In order to make sure that for example tomme machines get the correct
serial ports on APP cores.


# e05abf68 23-Jan-2014 Gerd Zellweger <mail@gerdzellweger.com>

Disable debugging in kaluga.


# 7942e8bd 20-Dec-2013 Gerd Zellweger <mail@gerdzellweger.com>

Working on kaluga starting x86 boot drivers the right way.


# b6de59fe 15-Jul-2013 Gerd Zellweger <mail@gerdzellweger.com>

Added debug prints instead of printf's.


# 87c60dfc 08-Jul-2013 Gerd Zellweger <mail@gerdzellweger.com>

A more generic way of passing caps to user-space drivers.

Added driverkit client library. It should include functions that make
a driver developers life easier.


# d102d02b 27-Mar-2012 Gerd Zellweger <zgerd@student.ethz.ch>

Compiles again on 32bit after merge with newlib.


# 3a3b7c57 29-Feb-2012 Gerd Zellweger <zgerd@student.ethz.ch>

Added functionality to start PCI driver to Kaluga.

--HG--
rename : usr/kaluga/app_cores.c => usr/kaluga/start_cpu.c


# c2873722 27-Feb-2012 Gerd Zellweger <zgerd@student.ethz.ch>

Added missing files.