Solo5/solo5
View on GitHub ↗ ★ 1,015 C
A sandboxed execution environment for unikernels
14 mentions on Hacker News by 8 people: 0 stories, 14 comments · first 2016-10-10 · latest 2023-11-24
20082026
-
What you already can do is attaching gdb -- either live or at a core dump. Please see https://github.com/Solo5/solo5/blob/master/docs/debugging.md for detailed instructions ;) What you as well can do is record-replay -- well, at least…
comment by hannesm · 2023-11-24 · in Mirage – A programming framework for building type-safe, modular systems -
…https://mirage.io/docs/install maybe you need a Solo5 backend that can run on ARM; and finally: https://github.com/Solo5/solo5/blob/v0.6.3/docs/building.md#...
comment by mk89 · 2023-11-24 · in Mirage – A programming framework for building type-safe, modular systems -
…to be written. There's no pretending it's a spinny disk with sectors and heads or what have you. https://github.com/Solo5/solo5/blob/bf29b8af11feec9dbc2e74cc...
comment by reycharles · 2023-11-24 · in Mirage – A programming framework for building type-safe, modular systems -
…executed in a seccomp context with only 5 or 7 system calls allowed -- see the spt target of solo5 https://github.com/solo5/solo5 -- also this great talk by mato https://archive.fosdem.org/2019/schedule/event/solo5_unikern...
comment by hannesm · 2023-11-24 · in Mirage – A programming framework for building type-safe, modular systems -
…VMM - SPT (seccomp, no hardware virtualization) - virtio (GCE, ..) - muen (muen.sk) Take a look at https://github.com/solo5/solo5 which is used as the low level bits to run OCaml.
comment by hannesm · 2022-03-29 · in MirageOS 4.0 – Self-managed internet infrastructure with unikernels -
…interested in "other things" that can be done with KVM, take a look at the Solo5 "hvt" tender: https://github.com/Solo5/solo5/tree/master/tenders/hvt .
comment by mato · 2020-05-20 · in KVM host in a few lines of code -
…on Solo5 (runs MirageOS/IncludeOS unikernels on Linux) this past month which looked promising: https://github.com/solo5/solo5
comment by ignoramous · 2020-01-13 · in Show HN: Sandy – A tiny Sandbox to run untrusted code ️ -
…in what can be accomplished with userspace VMMs, a very minimalist example is the Solo5 project ( https://github.com/Solo5/solo5 ), specifically the 'hvt' tender.
comment by mato · 2019-11-07 · in Show HN: microvm – a minimalist machine type for QEMU inspired by Firecracker -
…[3]: https://github.com/rumpkernel [4]: https://nabla-containers.github.io/ [5]: https://github.com/solo5/solo5 [6]: https://github.com/nabla-containers/runnc#limitations
comment by hardwaresofton · 2018-11-07 · in Linux compatibility in IncludeOS -
And indeed, we have built some tooling for debugging, since we wanted it: https://github.com/Solo5/solo5/blob/master/docs/debugging.md . It wasn't that hard.
comment by mato · 2018-10-23 · in Unikernels: No Longer an Academic Exercise? -
…are much thinner than those presented to a guest OS by a traditional VMM (e.g. KVM/QEMU). [1] https://github.com/Solo5/solo5
comment by mato · 2018-10-23 · in Unikernels: No Longer an Academic Exercise? -
…kernel fairly early in the project. The main activity around unikernels now seems to be with Solo5 https://github.com/Solo5/solo5 I don't know much about FPGAs but I might have a look...
comment by andrewstuart · 2018-01-19 · in Show HN: Bootrino.com – Netboot Run-From-RAM OS's on AWS, Google and Digital Ocean -
…but the possibilities are exciting, not only from the application security point of view. [1] https://github.com/solo5/solo5 [2] I'd be the first to say that the current Solo5 interfaces are suboptimal, but we're working on it:…
comment by mato · 2017-09-05 · in Searching for the killer app of unikernels -
…so these new backends and libraries are increasing MirageOS library portability quite a bit. [1] https://github.com/Solo5/solo5/issues/61 (I've just come back from Berlin and Docker Summit and have a ton of interesting questions and FAQs…
comment by avsm · 2016-10-10 · in Unikernels: Rise of the Library Hypervisor