959282403c
l4linux: Update to L4Linux l4box 3.9.0-l4-svn37
...
This is the Genode side of the L4Linux update to r37. I also moved L4Linux
sources to GitHub.
Issue #819
2013-08-06 17:40:10 +02:00
73ab30c22c
Update copyright headers to 2013
2013-01-10 21:44:47 +01:00
f4e0230dde
L4lx: mask all VCPU IRQs when doing ipc ( fix #553 )
...
Open VCPU interrupts while the VCPU is in an IPC operation can badly influence
its state. That's why this commit fixes a whole bunch of places, where IRQs
weren't masked by now.
2012-12-18 09:31:46 +01:00
08ce32215d
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
da4e1feaa5
Imported Genode release 11.11
2011-12-22 16:19:25 +01:00
Sebastian Sumpf
Norman Feske
Stefan Kalkowski
Genode Labs