l4linux.org
L4Linux
http://www.l4linux.org/related.shtml
On top of L4. Latest release: 4.7. A port of Linux to the Mach µ-kernel. From New Mexico Tech, now FSMLabs) extends the Linux kernel with a small real-time executive layer. A project aiming at building a configurable multi-server Unix system based on Linux and L4/x86. Related TU Dresden Projects. The L4 µ-kernel family. The Dresden Real-Time Operating System, uses L. Linux as its time-sharing application server component. Last modified: Thu, Mar 10 2011, 10:07.
l4linux.org
L4Linux
http://www.l4linux.org/faq.shtml
On top of L4. Latest release: 4.7. Can I build in a separate directory than the source directory? Yes, this is possible. Use. For every make call. The colors under DOpE or con look strange. Most probably you have configured L. Linux with the VGA driver. Disable it (Device Driver - Graphics Support - Console display driver support - VGA text console). While you are at it, also disable the mouse and keyboard drivers if you haven't done so already. The mouse is trapped inside the DOpE window!
l4linux.org
L4Linux
http://www.l4linux.org/people.shtml
On top of L4. Latest release: 4.7. Bug reports and general questions concerning L. Linux can be sent (in English) to the developer's mailing list at l4-hackers@os.inf.tu-dresden.de. You can subscribe to this mailing list via the web interface. The discussion language for this mailing list is English. Due to the amount of spam received through this account this list is moderated, valid posts will be approved by the list moderator. Nevertheless you are encouraged to subscribe. And the L4 FAQ.
l4linux.org
L4Linux
http://www.l4linux.org/status.shtml
On top of L4. Latest release: 4.7. The latest release of L. Linux is based on Linux 4.7. It uses L4Re as a basis and has shown to be stable to run most of the Linux applications, including Android. Linux supports the x86-32, x86-64 and ARM architectures, both in uni-processor and SMP configurations. Various stub drivers are provided to connect to other L4 services. Older versions of L. Linux up to including 2.6.31 are using the obsolete L4Env as a basis. The latest release of L. Linux-2.0, L.
l4linux.org
L4Linux
http://www.l4linux.org/report.shtml
On top of L4. Latest release: 4.7. Reporting problems with L. Linux is a complicated system. Users can configure it with many options, most of which we can not duplicate. Thus when reporting problems, include an extensive description of the symptoms, an analysis, and description of the configuration. It is hard to help for only simple bug reports which lack detailed information. Things which need to be supplied: Fiasco version and configuration, version of your L4 tree and configuration, version of L.
l4linux.org
L4Linux
http://www.l4linux.org/download.shtml
On top of L4. Latest release: 4.7. Linux is available available via SVN and archive files. Linux you need L4Re. To get the L4 programs required for L. Linux please use the. Linux source via read-only SVN. The read-only SVN repository is available via HTTP at. Https:/ svn.l4re.org/repos/oc/l4linux/trunk. Svn co https:/ svn.l4re.org/repos/oc/l4linux/trunk l4linux. This should give you a. Linux source in archive files. Checkout the L4Re download page. Files also contain L. Live Filesystem for L.
matze-lange.de
Matthias Lange - Kernkonzept
http://www.matze-lange.de/job/kk.html
Radtour Dresden - KW. Seit August 2013 bin ich beim Dresdner Startup Kernkonzept. Als Senior Software Developer beschäftigt.
matze-lange.de
Matthias Lange - Private homepage
http://www.matze-lange.de/index_en.html
PL/0 Compiler for Mac OS X. Biketour Dresden - KW. My name is Matthias Lange and since 2001 I've been living in Dresden, Germany. Thank you for taking interest in me and feel free to take a look around this website. To learn more about me please have a look at my resumé. Please have a look into my blog. To learn something about my current occupation. I have graduated from TU Dresden. Which offers development of individual software. One of my first projects was a Mac OS X driver. During my studies I start...
matze-lange.de
Matthias Lange - Impressum
http://www.matze-lange.de/impressum.html
Radtour Dresden - KW. Inhaltlich Verantwortlicher gemäß 10 Absatz 3 MDStV:. Matthias Lange, Großenhainer Straße 68, 01127 Dresden. Trotz sorgfältiger inhaltlicher Kontrolle übernehme ich keine Haftung für die Inhalte externer Links. Für den Inhalt der verlinkten Seiten sind ausschließlich deren Betreiber verantwortlich.
mulliner.org
MUlliNER.ORG : Android Stuff and Security Research
http://www.mulliner.org/android
Android Stuff and Security Research. Android related weblog entries. Study on Android In-App billing security. Android Security - the third party. PatchDroid: Scalable Third-Party Security Patches for Android Devices. More details and paper here: PatchDroid.com. Research on SMS-based OTP. Dynamic Dalvik Instrumentation Framework for Android. And SummerCon version (first). Binary Instrumentation Framework for Android. And the Demo Video. The framework source is available here: ADBI on GitHub. G1 (or just ...
SOCIAL ENGAGEMENT