genode-main
Thread
Date
Earlier messages
Messages by Date
2022/11/18
[FOSDEM] [devroom-managers] Call for Participation: Microkernel and Component-based OS Devroom 2023 (fwd)
Stefan Kalkowski
2018/05/14
Re: *genode-main mailing list changes*
Christian Helmuth
2018/05/13
Re: Defence of "Microkernelization of Linux"
Johannes Kliemann
2018/05/11
*****SPAM***** sculpt: sned ACPI power off to guest machine
Duss Pirmin
2018/05/10
Re: Defence of "Microkernelization of Linux"
Martin Iturbide
2018/05/09
Re: Defence of "Microkernelization of Linux"
Johannes Kliemann
2018/05/06
Re: interrupts on AMD hardware
John J. Karcher
2018/05/04
*genode-main mailing list changes*
Stefan Kalkowski
2018/05/04
Closing laptop lid disables nitpicker focus/input functions
Boris Mulder
2018/05/04
Re: interrupts on AMD hardware
Alexander Boettcher
2018/05/03
Re: interrupts on AMD hardware
John J. Karcher
2018/05/02
Re: interrupts on AMD hardware
Alexander Boettcher
2018/04/25
Re: acpica issues
Alexander Boettcher
2018/04/25
Re: Defence of "Microkernelization of Linux"
Johannes Kliemann
2018/04/25
Defence of "Microkernelization of Linux"
Johannes Kliemann
2018/04/24
acpica issues
Boris Mulder
2018/04/23
Re: SMC Calls in Trustzone VMM Scenario
Stefan Kalkowski
2018/04/22
Re: waiting for RPC method to be called
Nobody III
2018/04/22
Re: waiting for RPC method to be called
Emery Hemingway
2018/04/21
waiting for RPC method to be called
Nobody III
2018/04/20
Genode::Slave::Policy::resolve_session_request() should be virtual
Nobody III
2018/04/20
Re: block device
Josef Söntgen
2018/04/20
block device
Duss Pirmin
2018/04/19
Re: SMC Calls in Trustzone VMM Scenario
Mauricio Gutierrez
2018/04/16
Re: Placing Qt5 Windows on Genode Startup
Norman Feske
2018/04/14
Re: interrupts on AMD hardware
Nobody III
2018/04/14
Re: interrupts on AMD hardware
John J. Karcher
2018/04/13
Re: preparing ports
Emery Hemingway
2018/04/13
preparing ports
Roman Iten
2018/04/13
Re: Proposal for nic_tap component
Martijn Verschoor
2018/04/12
Re: interrupts on AMD hardware
Christian Helmuth
2018/04/12
Re: interrupts on AMD hardware
Nobody III
2018/04/11
Re: interrupts on AMD hardware
Christian Helmuth
2018/04/11
Placing Qt5 Windows on Genode Startup
Johnathan Gohde
2018/04/11
Re: base-hw kernel binaries
Martin Stein
2018/04/11
Re: base-hw kernel binaries
Martin Stein
2018/04/11
base-hw kernel binaries
Johannes Kliemann
2018/04/11
Re: SMC Calls in Trustzone VMM Scenario
Stefan Kalkowski
2018/04/10
Re: SMC Calls in Trustzone VMM Scenario
Mauricio Gutierrez
2018/04/10
Re: interrupts on AMD hardware
Nobody III
2018/04/09
Re: libreboot x200 thinkpad
Josef Söntgen
2018/04/09
Re: SMC Calls in Trustzone VMM Scenario
Stefan Kalkowski
2018/04/09
Re: interrupts on AMD hardware
Nobody III
2018/04/08
Re: interrupts on AMD hardware
Nobody III
2018/04/07
Re: Proposal for nic_tap component
Emery Hemingway
2018/04/05
Proposal for nic_tap component
Martijn Verschoor
2018/04/05
Re: simple IPC test results
Norman Feske
2018/04/05
libreboot x200 thinkpad
baconicsynergy--- via genode-main
2018/04/05
Re: interrupts on AMD hardware
Christian Helmuth
2018/04/04
Re: interrupts on AMD hardware
Nobody III
2018/04/04
Re: interrupts on AMD hardware
Christian Helmuth
2018/04/03
Re: usb issues on AMD 9xx chipset
Christian Helmuth
2018/04/02
Re:Re: Question about long IPC implementation in Genode implementation
yu000013
2018/04/02
simple IPC test results
yu000013
2018/04/02
Re: usb issues on AMD 9xx chipset
Nobody III
2018/04/02
Re: usb issues on AMD 9xx chipset
John J. Karcher
2018/04/02
Re: interrupts on AMD hardware
Steven Harp
2018/04/02
interrupts on AMD hardware
Nobody III
2018/04/01
Re: usb issues on AMD 9xx chipset
Chris Rothrock
2018/04/01
Re: usb issues on AMD 9xx chipset
Nobody III
2018/03/31
Re: usb issues on AMD 9xx chipset
Nobody III
2018/03/31
Re: usb issues on AMD 9xx chipset
Chris Rothrock
2018/03/30
usb issues on AMD 9xx chipset
Nobody III
2018/03/29
Re: base-linux ram dataspace file descriptor usage
Norman Feske
2018/03/29
Re: Question about long IPC implementation in Genode implementation
Norman Feske
2018/03/28
SMC Calls in Trustzone VMM Scenario
Mauricio Gutierrez
2018/03/28
Re: base-linux ram dataspace file descriptor usage
Johannes Kliemann
2018/03/27
Question about long IPC implementation in Genode implementation
yu000013
2018/03/27
Re: access to tsc calibration info
Alexander Boettcher
2018/03/26
access to tsc calibration info
Steven Harp
2018/03/26
Re: ARMv8 Development Board
David Loosli
2018/03/26
Re: base-linux ram dataspace file descriptor usage
Norman Feske
2018/03/23
Re: Genode demo with seL4 Kernel no longer working
Chris Rothrock
2018/03/23
base-linux ram dataspace file descriptor usage
Johannes Kliemann
2018/03/21
Re: Genode demo with seL4 Kernel no longer working
Norman Feske
2018/03/21
Genode demo with seL4 Kernel no longer working
Chris Rothrock
2018/03/21
Re: ARMv8 Development Board
Bob Stewart
2018/03/21
ARMv8 Development Board
David Loosli
2018/03/21
Genode::Pd_connection::address_space returns invalid capability
Johannes Kliemann
2018/03/20
Re: problem building depot for fb_sdl
Emery Hemingway
2018/03/19
problem building depot for fb_sdl
Duss Pirmin
2018/03/16
Re: Individual file access
Norman Feske
2018/03/16
Re: Individual file access
Nobody III
2018/03/16
Re: Library Isolation
Nobody III
2018/03/16
Re: Library Isolation
Norman Feske
2018/03/16
VFS FIFO plugin
Nobody III
2018/03/15
Re: how to use genode on riscv
Dd Nirvana
2018/03/14
Re: Genode affinity, multi-core separation and service encapsulation (core inferences)
Nobody III
2018/03/14
Re: Library Isolation
Nobody III
2018/03/14
Re: base-linux IRQ session
Martin Stein
2018/03/14
Re: std::stream::ignore ()
Christian Helmuth
2018/03/14
Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC
Martin Stein
2018/03/14
std::stream::ignore ()
Stefan
2018/03/14
Re: Genode affinity, multi-core separation and service encapsulation (core inferences)
Emery Hemingway
2018/03/14
Re: base-linux IRQ session
Johannes Kliemann
2018/03/14
Re: how to use genode on riscv
Sebastian Sumpf
2018/03/14
Re: Library Isolation
Norman Feske
2018/03/13
Re: Library Isolation
Nobody III
2018/03/13
Re: Library Isolation
Norman Feske
2018/03/13
Re: Library Isolation
Nobody III
2018/03/13
Re: Library Isolation
Norman Feske
2018/03/13
Re: Library Isolation
Nobody III
2018/03/13
Re: base-linux IRQ session
Christian Helmuth
2018/03/13
Re: Library Isolation
Norman Feske
2018/03/13
Re: Segmentation fault in free_io_mem
Christian Helmuth
2018/03/13
Re: Quota Preservation
Nobody III
2018/03/13
base-linux IRQ session
Johannes Kliemann
2018/03/13
Re: Genode affinity, multi-core separation and service encapsulation (core inferences)
Nobody III
2018/03/13
Re: Library Isolation
Nobody III
2018/03/13
Segmentation fault in free_io_mem
Johannes Kliemann
2018/03/13
Re: Quota Preservation
Norman Feske
2018/03/13
Re: Genode affinity, multi-core separation and service encapsulation (core inferences)
Norman Feske
2018/03/13
Re: Library Isolation
Norman Feske
2018/03/12
Re: Sculpt not accepting input from touchpad
Nobody III
2018/03/12
Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC
Josef Stark
2018/03/12
how to use genode on riscv
Dd Nirvana
2018/03/12
Re: Sculpt not accepting input from touchpad
Christian Helmuth
2018/03/11
Re: Library Isolation
Ken.Dickey
2018/03/10
Library Isolation
Nobody III
2018/03/10
Re: Quota Preservation
Nobody III
2018/03/10
Sculpt not accepting input from touchpad
Nobody III
2018/03/08
Re: Genode affinity, multi-core separation and service encapsulation (core inferences)
Nobody III
2018/03/08
Re: Genode affinity, multi-core separation and service encapsulation (core inferences)
Norman Feske
2018/03/08
Re: menu_view: does not get focus from parent
Boris Mulder
2018/03/07
Re: menu_view: does not get focus from parent
Norman Feske
2018/03/06
Re: 32 bit overflow in timer
Martin Stein
2018/03/06
menu_view: does not get focus from parent
Boris Mulder
2018/03/05
Re: Sculpt EA On VirtualBox
John J. Karcher
2018/03/05
Re: RasPi 3 build problem
Ken.Dickey
2018/03/05
Re: Sculpt EA On VirtualBox
Alexander Boettcher
2018/03/05
Re: Bender and GRUB1 "legacy"
Alexander Boettcher
2018/03/05
Genode affinity, multi-core separation and service encapsulation (core inferences)
Daniel Krefft
2018/03/05
Re: RasPi 3 build problem
Bob Stewart
2018/03/05
Re: Sculpt EA On VirtualBox
John J. Karcher
2018/03/05
Re: Bender and GRUB1 "legacy"
Norman Feske
2018/03/05
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/03/05
Re: 32 bit overflow in timer
Christian Helmuth
2018/03/05
Re: 32 bit overflow in timer
Martin Stein
2018/03/05
Re: 32 bit overflow in timer
Martin Stein
2018/03/05
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/03/05
Re: RasPi 3 build problem
Stefan Kalkowski
2018/03/05
Re: Sculpt EA On VirtualBox
Alexander Boettcher
2018/03/05
Re: RasPi 3 build problem
Nobody III
2018/03/05
Re: keyboard/keymap issues
Christian Helmuth
2018/03/05
Re: Bender and GRUB1 "legacy"
Norman Feske
2018/03/05
Sculpt questions, briefly answered
Norman Feske
2018/03/05
Re: RasPi 3 build problem
Stefan Kalkowski
2018/03/05
Re: Bender and GRUB1 "legacy"
Alexander Boettcher
2018/03/05
RasPi 3 build problem
Ken.Dickey
2018/03/04
Re: [SPAM] Sculpt scenario and block devices
Tomasz Gajewski
2018/03/04
Re: [SPAM] Sculpt scenario and block devices
Nobody III
2018/03/04
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/03/04
Re: [SPAM] Sculpt scenario and block devices
Josef Söntgen
2018/03/04
[SPAM] Sculpt scenario and block devices
Tomasz Gajewski
2018/03/04
[SPAM] Re: Bender and GRUB1 "legacy"
Tomasz Gajewski
2018/03/03
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/03/03
Re: Sculpt EA On VirtualBox
John J. Karcher
2018/03/03
Sculpt not accepting input from touchpad
Nobody III
2018/03/03
Sculpt EA On VirtualBox
John J. Karcher
2018/03/03
VFS FIFO plugin
Nobody III
2018/03/03
keyboard/keymap issues
Nobody III
2018/03/01
Re: QProcess/QProcessEnvironment not declared
Christian Prochaska
2018/03/01
Re: Bender and GRUB1 "legacy"
Norman Feske
2018/02/28
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/28
Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC
Martin Stein
2018/02/28
Genode OS Framework version 18.02 released
Norman Feske
2018/02/28
Re: Bender and GRUB1 "legacy"
Alexander Boettcher
2018/02/27
init stuck on PD session from platform_drv
Boris Mulder
2018/02/27
Re: Problem building vmm; Error: Hash sum check for acpica failed
Christian Helmuth
2018/02/27
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/27
Re: 32 bit overflow in timer
Bob Stewart
2018/02/27
Re: 32 bit overflow in timer
Johannes Kliemann
2018/02/27
Re: Bender and GRUB1 "legacy"
Alexander Boettcher
2018/02/27
Re: Config update timing
Norman Feske
2018/02/27
Config update timing
Nobody III
2018/02/26
QProcess/QProcessEnvironment not declared
Nobody III
2018/02/26
Re: Memory write tracing/logging of an application / Watchpoints in Genode/Fiasco.OC
Josef Stark
2018/02/23
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/23
Re: Bender and GRUB1 "legacy"
Norman Feske
2018/02/23
Bender and GRUB "legacy"
Valery V. Sedletski via genode-main
2018/02/21
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/21
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/21
Fiasco.OC development version available on github
Matthias Lange
2018/02/20
Re: init stuck on PD session from platform_drv
Boris Mulder
2018/02/20
Re: init stuck on PD session from platform_drv
Norman Feske
2018/02/19
Re: Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/19
Re: Beginner : VMM with genode
Parfait Tokponnon
2018/02/19
Re: Quota Preservation
Norman Feske
2018/02/19
Bender and GRUB1 "legacy"
Valery V. Sedletski via genode-main
2018/02/19
Re: Beginner : VMM with genode
jony jony
2018/02/18
Re: 32 bit overflow in timer
Bob Stewart
2018/02/18
32 bit overflow in timer
Johannes Kliemann
2018/02/18
Re: Problem building vmm; Error: Hash sum check for acpica failed
jony jony
2018/02/18
Problem building vmm; Error: Hash sum check for acpica failed
jony jony
2018/02/18
Re: Beginner : VMM with genode
Alexander Boettcher
2018/02/18
init stuck on PD session from platform_drv
Boris Mulder
2018/02/16
Re: Quota Preservation
Nobody III
2018/02/16
Re: Quota Preservation
Norman Feske
2018/02/16
Re: 24-bit or 32-bit framebuffers
Norman Feske
2018/02/15
24-bit or 32-bit framebuffers
Nobody III
Earlier messages