search

includeos / IncludeOS

A minimal, resource efficient unikernel for cloud services
https://includeos.github.io/
Apache License 2.0
4.93k stars 365 forks source link

Use IncludeOS as operating system #2208

Open jeffbdavenport opened 4 years ago

jeffbdavenport commented 4 years ago

Hi, I've been trying to figure out if it is possible to essentially use an IncludeOS application as the operating system for a machine without having to use a virtual machine, and how to go about doing that, or if it's even possible.

I really like being able to have minimal overhead while being able to run a simple application on something such as a Raspberry Pi.

I saw this article https://www.includeos.org/blog/2018/port-to-arm.html however it does seem to make it clear whether or not it will require it to be booted in a virtual environment.

If someone could point me in the right direction that would be much appreciated

iFreilicht commented 4 years ago

I was looking into this as well, but looking at #1678, it seems there is no support for ARM yet, so the Raspberry Pi is hard to do at this point.

However, on an Amd64 machine, you should be able to just compile a binary and boot that directly from the BIOS/UEFI, as long as your hardware is supported. I think you need to place the binary in /boot or /boot/efi on the drive you want to boot it from and probably disable Secure Boot as well.