Re: SMC Calls in Trustzone VMM Scenario

2018-04-09 Thread Stefan Kalkowski
Hi Mauricio, On Wed, Mar 28, 2018 at 07:48:43PM -0700, Mauricio Gutierrez wrote: > Hello, > > I have been doing some work with the Genode Trustzone VMM scenario on my > i.MX53 development board and I am having a bit of trouble understanding how > the SMC calls work between the normal and secure

Re: interrupts on AMD hardware

2018-04-09 Thread Nobody III
I've been trying to figure out how to implement a simple solution to this. Where can I implement this? Is it safe to implement it in its own component that executes before usb_drv, ahci_drv, or any other driver starts? Using the sequence component should prevent any race conditions. Eventually,

Re: libreboot x200 thinkpad

2018-04-09 Thread Josef Söntgen
Hello Joel, * baconicsynergy--- via genode-main [2018-04-04 22:27:23 -0400]: > I have recently purchased a libreboot x200 thinkpad, and attempted to > boot Genode's Sculpt scenario from USB. Unfortunately, nothing > happened at all. Will there be any support