Cannot Link Genode 9.02 for L4Ka::Pistachio (With minimal customisation for i9)

[Norman Feske]

Hi Tyson,

Tyson Key wrote:
> Hi Norman. Thanks for your assistance, and recommending the toolchain,
> and the wiki article. I can confirm that Genode now builds here, and as
> a result I've been able to close our first bug. Apologies if I've caused
> any inconvenience.

no inconvenience at all. :-) I'am glad, you are looking into Genode and
I look forward to see the direction, you're going with i9. Good luck for
your project!

Norman