nfeske/genode — comment on commit cc4d1193b56a38ea45c3e4f0cfebd508a21438ac
File: ports/src/noux/main.cc line 351
By blitz:

Actually, you *should* be able to sneak them in using `"`. Can it be that `\"`works in the config?