A Bare-Metal Hypervisor for Non-Coherent Memory-Coupled Cores

Stefan Lankes 2f64a5c772 replace tcpip_input by ethernet_input/ip_input ... All MetalSVM drivers guarantee that the input function will be called in the context of the tcpip thread. Therefore, we are able to use ethernet_input/ip_input instead of tcpip_input		2012-09-11 10:36:29 +02:00
apps	disable socket by passing (default configuration)	2012-09-10 09:58:47 +02:00
arch/x86	backport of the 32bit code	2012-09-10 15:37:45 +02:00
documentation	The git clone path within the documentation is wrong.	2012-08-11 12:26:21 +02:00
drivers	replace tcpip_input by ethernet_input/ip_input	2012-09-11 10:36:29 +02:00
fs	remove memory leak	2012-08-26 14:06:00 +02:00
include	use irqsave page directory lock to avoid deadlocks	2012-09-10 13:41:00 +02:00
kernel	replace tcpip_input by ethernet_input/ip_input	2012-09-11 10:36:29 +02:00
libkern	some code cleanups	2012-08-01 20:50:33 +02:00
lwip	add workaround to avoid LwIP bug	2012-09-10 05:32:57 -07:00
mm	use static stacks only for the idle tasks	2012-07-19 22:07:59 +02:00
newlib	Merge branch 'master' into readwrite	2012-07-20 09:05:57 +02:00
tools	Make it easier to change the number of used cores	2012-06-06 05:06:41 -07:00
.gitignore	Changed the .gitignore file to make git ignore config.inc	2012-05-22 13:44:33 +02:00
Doxyfile	Updated Doxygen config and texts.	2012-07-02 12:40:08 +02:00
LICENSE-2.0.txt	- some chmod changes	2011-08-02 15:58:20 +02:00
link32.ld	add alpha version of x64 support	2012-06-10 08:05:24 +02:00
link64.ld	add alpha version of x64 support	2012-06-10 08:05:24 +02:00
Makefile.example	only if CONFIG_VGA is defined, VGA will be mapped into the kernel space	2012-07-22 10:56:03 +02:00
Makefile.inc	- some chmod changes	2011-08-02 15:58:20 +02:00
Makefile.scc	only if CONFIG_VGA is defined, VGA will be mapped into the kernel space	2012-07-22 10:56:03 +02:00
NOTICE	update of the NOTICE file	2012-07-20 20:30:59 +02:00
script.gdb	- some chmod changes	2011-08-02 15:58:20 +02:00