November 2014 Archives by thread

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

Starting: Sat Nov 1 07:40:01 CET 2014
Ending: Sat Nov 29 08:31:18 CET 2014
Messages: 120

grub-install segfaults Nobody III
FOSDEM 2015 - CfP: Microkernels DevRoom Vasily A. Sartakov
Genode doesn't see init when booting from grub2 on hard drive Nobody III
- Genode doesn't see init when booting from grub2 on hard drive Christian Menard
  - Genode doesn't see init when booting from grub2 on hard drive Christian Helmuth
    - Genode doesn't see init when booting from grub2 on hard drive Nobody III
Genode is out of frequency range on 1920x1080 monitor Nobody III
- Genode is out of frequency range on 1920x1080 monitor Christian Prochaska
  - Genode is out of frequency range on 1920x1080 monitor Nobody III
netperf on RPI Mhamad Hmad
- netperf on RPI Norman Feske
  - netperf on RPI Mohammad Hamad
    - netperf on RPI Norman Feske
    - netperf on RPI Mohammad Hamad
    - netperf on RPI Mohammad Hamad
    - netperf on RPI Mohammad Hamad
    - netperf on RPI Norman Feske
- Netperf on RPI Mohammad Hamad
Genode can't find my SATA hard drive Nobody III
IDE Support Nobody III
ATAPI not working Nobody III
About privileged instructions on L4android Stefan Kalkowski
Conference "New Directions in Operating Systems" in London Norman Feske
ATAPI driver still not working Nobody III
- ATAPI driver still not working Sebastian Sumpf
  - ATAPI driver still not working Nobody III
    - ATAPI driver still not working Sebastian Sumpf
  - ATAPI driver still not working Nobody III
ATA support Nobody III
- ATA support Norman Feske
  - ATA support Nobody III
    - ATA support Christian Prochaska
    - ATA support Nobody III
  - ATA support w_schmidt at ...181...
    - ATA support Nobody III
Filesystem Permissions Nobody III
Init Config Security Nobody III
- Init Config Security Norman Feske
  - Init Config Security Nobody III
Binary Compatibility Nobody III
- Binary Compatibility Norman Feske
  - Binary Compatibility Nobody III
CPU frequency on i.MX53 QSB? David Goltzsche
- CPU frequency on i.MX53 QSB? Stefan Kalkowski
Performance issues with VBox+Android-x86 Christian Menard
- Performance issues with VBox+Android-x86 Alexander Boettcher
VBox influences applications running on other CPUs Christian Menard
- VBox influences applications running on other CPUs Alexander Boettcher
  - VBox influences applications running on other CPUs Alexander Boettcher
    - VBox influences applications running on other CPUs Christian Menard
    - VBox influences applications running on other CPUs Alexander Boettcher
    - VBox influences applications running on other CPUs Christian Menard
Debug over serial Nobody III
- Debug over serial Christian Prochaska
  - Debug over serial Nobody III
  - Debug over serial Nobody III
    - Debug over serial Christian Helmuth
    - Debug over serial Nobody III
    - Debug over serial Christian Prochaska
    - Debug over serial Nobody III
    - Debug over serial Christian Helmuth
TPM, Haskell and RPC mapped through NOVA Thomas Strobel
- TPM, Haskell and RPC mapped through NOVA Nobody III
- TPM, Haskell and RPC mapped through NOVA Norman Feske
  - TPM, Haskell and RPC mapped through NOVA Johannes Schlatow
  - TPM, Haskell and RPC mapped through NOVA Thomas Strobel
    - TPM, Haskell and RPC mapped through NOVA Norman Feske
- TPM, Haskell and RPC mapped through NOVA Ivan Loskutov
tz_vmm application in genode Abhay Amala
- tz_vmm application in genode Stefan Kalkowski
i.mx53qsb and ARM Trustzone Techology Joseph Lee
- i.mx53qsb and ARM Trustzone Techology Stefan Kalkowski
genode questions Tim Newsham
- genode questions Norman Feske
rpi_hw build failure Tim Newsham
- rpi_hw build failure Reinier Millo Sánchez
  - rpi_hw build failure Tim Newsham
    - rpi_hw build failure Nobody III
    - rpi_hw build failure Tim Newsham
    - rpi_hw build failure Nobody III
    - Troubles building lwip example on hw_rpi Reinier Millo Sánchez
    - Troubles building lwip example on hw_rpi Christian Helmuth
    - Troubles building lwip example on hw_rpi Reinier Millo Sánchez
    - Troubles building lwip example on hw_rpi Norman Feske
    - Troubles building lwip example on hw_rpi Reinier Millo Sánchez
    - Troubles building lwip example on hw_rpi Norman Feske
    - Troubles building lwip example on hw_rpi Reinier Millo Sánchez
- rpi_hw build failure Christian Helmuth
Supporting Genode for RaspberryPi on Fiasco.OC Reinier Millo Sánchez
- Supporting Genode for RaspberryPi on Fiasco.OC Nobody III
Linux as a guest OS of bare-HW on i.MX6 in the Normal World Mahdi Aichouch
- Linux as a guest OS of bare-HW on i.MX6 in the Normal World Stefan Kalkowski
  - Linux as a guest OS of bare-HW on i.MX6 in the Normal World Mahdi Aichouch
status of iwlwifi driver Christian Menard
- status of iwlwifi driver Christian Helmuth
  - status of iwlwifi driver Christian Menard
    - status of iwlwifi driver Nobody III
    - status of iwlwifi driver Sebastian Sumpf
    - status of iwlwifi driver Nobody III
    - status of iwlwifi driver Christian Prochaska
    - status of iwlwifi driver Nobody III
UEFI support Christian Menard
- UEFI support Alexander Boettcher
USB Mouse not working on RaspberryPI Reinier Millo Sánchez
Query : Machine Type, Kernel_offset Franc sylvester
- Query : Machine Type, Kernel_offset Stefan Kalkowski
Detect Monitor Resolution Nobody III
- Detect Monitor Resolution Matthias Lange
  - Detect Monitor Resolution Matthias Lange
Raspberry Pi SD Card Driver Nobody III
- Raspberry Pi SD Card Driver Stefan Kalkowski
  - Raspberry Pi SD Card Driver Nobody III
Priorities Nobody III
base-hw rpi: compiling UART driver fails Nobody III
- base-hw rpi: compiling UART driver fails Stefan Kalkowski
  - base-hw rpi: compiling UART driver fails Nobody III
Announcement: Genode OS Framework version 14.11 released Christian Helmuth
Dynamic Memory Management Nobody III
USB Wifi Nobody III
Create VESA Modes Nobody III

Last message date: Sat Nov 29 08:31:18 CET 2014
Archived on: Fri May 4 14:46:17 CEST 2018

Messages sorted by: [ subject ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).