Add VM 64bit support to Seoul

genodelabs / genode-world

Collection of community-maintained components for Genode

Other

44 stars 46 forks source link

Closed alex-ab closed 8 months ago

alex-ab commented 8 months ago

@chelmuth: please replace the both commits with the new ones from my genode-world/staging branch

chelmuth commented 8 months ago

Done.