On Tue, 3 Nov 2020 at 09:29, Norman Feske norman.feske@genode-labs.com wrote:
Hi Michael,
On 03.11.20 09:31, Michael Grunditz wrote:
[init -> hello] Hello world
Problems was two..
I accidental put Genode:log instead of Genode:raw in syscall headers. Seccomp call does crash. Still doesn't start from make run.
I was afraid that you would be on your own with the AARCH64 bring-up. AFAIK, none of the regular Genode developers is using Linux natively on this architecture, yet. All the better that you solved that!
Thanks for sharing this great news.
I need the linux port. I don't want to port to SoCs that I have RISC OS running on. The goal is to have something that works on future cores that doesn't support aarch64.. So before 2022 :)
AND , I don't need to fiddle with sdcards!