[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.
Michael
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.
Cheers Norman
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!
On Tue, 3 Nov 2020 at 10:25, Michael Grunditz michael.grunditz@gmail.com wrote:
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 :)
Ooops should be , doesn't support aarch32, :-)
AND , I don't need to fiddle with sdcards!
-
Michael Grunditz -
Norman Feske