p.s. I meant to mention... at Agoric.com, we do a lot of work with JavaScript as an object-capabilities platform. I'm interested to run JavaScript on genode. I have made just a little bit of progress, using goa with the XS JavaScript engine:
https://github.com/dckc/genode-js-xs
The prospect of writing C bindings for each session interface that I want to use looks somewhat tedious, but I suppose it's not too bad.
Say... folks using Ada in genode need the same thing for FFI, yes? I should look into that...
p.p.s. I also do a certain amount of promoting genode in my awesome-ocap list. Genode is 1st in the OS section. https://github.com/dckc/awesome-ocap#os
On Sun, Jan 8, 2023 at 10:20 PM Dan Connolly dckc@madmode.com wrote:
I recently got a used ThinkPad just for genode. Over the holiday break, I managed to follow Schlatow's article[1] far enough to get dual boot working, but I'm struggling with vbox6. I think I need to get a better working knowledge of VirtualBox before I try it on genode again. [1] https://genodians.org/jschlatow/2021-04-23-start-existing-linux-from-sculpt
Before I forgot it all, I wrote myself some notes[2]. Then I added some context for a wider audience in preparation for a possible "show and tell" for my colleagues at Agoric.com:
Toward capabilities all the way down with Genode on a Thinkpad [2] https://www.madmode.com/2023/genode-thinkpad-dual-boot.html
I'd appreciate any feedback on the item.
One thing I discovered while tinkering was a "Taking a look at Genode/Sculpt (21.03b)" video on YouTube: [3] https://www.youtube.com/watch?v=2PpIf6n4AV4
I don't normally use videos to learn stuff, but I'm starting to realize that it's because the gaps in my knowledge that I'm trying to fill are typically small enough that when I find a short article on the topic, I have the relevant background assumed in the article. But when I first started playing with Genode, I had a LOT to catch up on. That's why I was hoping for a screencast [4] https://github.com/genodelabs/genode/issues/1000#issuecomment-161410556
The particular YouTube video above[3] only covers material that I'm already familiar with.
But if anyone could point me at a screencast or video of setting up a virtual machine, I would very much appreciate it.
Again, I should probably study up on using VirtualBox in general. I'm sure there are plenty of videos about that. But I suppose it can't hurt to ask for one about vbox6 on genode :)
-- Dan Connolly http://www.madmode.com/