On 2016-11-04 14:19, [email protected] wrote: > Hi all > > I've (also) been doing some work on getting Jetson-TK1 support for the > jailhouse freertos cell. > > This is fairly barebones, so 'test tasks' are made, queued and displayed onto > UART. Mainly this involved stripping out the UART8250 specific code for the > bananapi, and putting in tegra specific code for this to function. In > addition I removed some test code (in > freertos/Source/portable/GCC/ARM_A7jailhouse/port.c) that was causing the > scheduler to hang in a busy loop. > > Despite some code being present for it, the main limitation is using the FPU > is currently not supported. If enabled during hardware initialisation in > main.c freeRTOS hangs and does not continue. For more information, commit > 9e1a4abe in https://github.com/CodethinkLabs/freertos-cell may also be > useful. > > If this is something that would be potentially useful, I can tidy up the code > so that it isn't specific to only one device. For now, our work can be found > here: https://github.com/CodethinkLabs/freertos-cell in the jetson-tk1 > branch. And to see it in action, > https://github.com/CodethinkLabs/jailhouse-tk1 is the place to go. > > Full diff between the fork and the jetson-tk1 branch is also below.
Very nice demo! More side-topic: I suppose you are using nouveau, nothing NVIDIA-proprietary as GPU driver, right? That question recently arrived here (and made someone go back in kernel history). Jan -- Siemens AG, Corporate Technology, CT RDA ITP SES-DE Corporate Competence Center Embedded Linux -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
