Hi Will,
I can offer a fellow-user perspective on this, but I’m sure the Genode developers can say more.
1. Is Wifi on the T430 supposed to work? I couldn't get it to do
more than scanning. There are some teensy tiny error messages in
the logs, so if it helps I could get out my magnifier and share
them
I haven’t used the default wifi driver so can’t say specifically, but in porting the ath9k one I dug into the wifi code a bit so if you post the error I can give it a look if you like.
2. Persistence - what about persistence? I picked the ram-fs per
the getting started document, but I would like to save SOME stuff-
say bookmarks and source code, how do I do that?
3. I read that the genode folks use Sculpt as their daily drivers
- so I'm guessing they don't boot from USB,
You can boot Sculpt from a hard drive (if you use grub already), simply copy the ”boot” folder to a hard drive partition and amend your system’s main grub cfg copying the commands in boot/grub/grub.cfg.
Hope it helps —
Colin