Does CAmkES support non-Linux VMs? - virtual-machine

I am working on a project that utilizes seL4 as the hypervisor, with both a Linux VM and a simple partitioned OS running on top. It is known that seL4 officially provides demos for Linux VMs with the CAmkES. The problem then lies with implement the other VM on seL4.
I have searched through seL4 documents, but they give me nothing about how to implement a VMM with CAmkES. I have tried to implement a VMM myself, by refering to Dornerworks's implementation(https://github.com/smaccm/sel4arm-vmm-manifest), but the complexity has daunted me.
Does anyone have any idea about how to implement a VMM on seL4 and whether CAmkES can be used to write a VMM? Thanks in advance.

Related

How to develop with WebSphere 8.5 traditional on OS X

Does anyone have any idea how this can be done?
It's my understanding that WebSphere 8.5 traditional is not compatible or will not run on OSX. I am looking for solutions for developers to develop with a WebSphere 8.5 traditional server locally.
Could we setup some servers on a windows machine so they can be used remotely during development?
I downloaded the Eclipse plugin but it gives me the warning saying OS X is not compatible with WebSphere traditional and to give it a remote server address. I tried to point eclipse to a server on a windows PC but it still wants a runtime installation directory.
I found a single thread on WASDev with a similar question talking about runtime stubs with a dead link.
I tried using a liberty server but I get nothing but null pointer exceptions and JMX errors, I don't think this is a valid alternative in my corporate environment.
For developing against WebSphere traditional on OSX, you could try Docker! We've published developer edition versions of 8.5.5.9 and 9.0.0.0, see:
https://developer.ibm.com/wasdev/blog/2016/06/15/websphere-traditional-ibm-http-server-docker-hub/
https://hub.docker.com/r/ibmcom/websphere-traditional/
The Dockerfiles used to produce these images are here, should you want to try building your own instead:
https://github.com/WASdev/ci.docker.websphere-traditional
However, your question is more specific to getting the tools working.
The last I read (and I'll try to confirm/update the answer when I do find it), is that the stubs are part of the full product install for RAD (selectable via Installation Manager).
You're correct that traditional WAS doesn't run on OSX. Remote servers are an option but traditional WAS is considered by some developers to be heavy and slow to restart, so your developers might appreciate something local and more nimble. Liberty is supposed to run on OSX, and things that run on Liberty -usually- will run on traditional, so getting to the bottom of your Liberty problems might be useful. If you haven't already, posting your question on WASDev might reach someone that has a better answer than this one.

What is Xpenology? Is it Linux related thing?

I'm a newbie about Xpenology. Is there anyone can help me answer some questions below:
What is Xpenology? Is it Linus-based OS? What is the main purpose of
it?
Can I install Git server in Xpenology? Could you please give me
the guide?
How does Xpenology compare to pure Linux OS (Ubuntu, Fedora,
Mint)? Any shortcoming on Xpenology?
Thanks.
Xpenology isn't a linux OS like Ubuntu or other common distribution. It's a bootloader for synologys operating system DSM, which they use on their NAS devices. DSM is running on a custom linux version developed by Synology, so it's also not real compareable to desktop/server distributions in a direct way. Its optimized for running on a NAS with all of the features they provide.
Sometimes Xpenology is used as a synonym for the full stack of the bootloader and the DSM. It creates the possibility to run DSM on any x86 device like any pc or self-builded NAS. So you can benefit from the powerful multimedia- and cloud-features of DSM without buying a hardware NAS from them.
This will save money and make you more flexible. For example, you can run it on a powerful homeserver, which has much more power than a Synology NAS, so you can also run other things on it (like dev-servers, when you're a developer).
But its also possible to natively install and run apps on DSM using their package manager. This includes some usefull tools and packages like git, other version-control systems, cms like wordpress, ldap-servers and more. The underlaying OS can be customized, as you can connect over SSH. It should be clear that this should only be done with caution, cause changes on the linux-system could potentically break DSM if you spin on the wrong screws.
And as a person interested using Xpenology you should keep in mind, that his is not a officially Synology release. Although its based on the official Synology DSM which is the same like on a bought hardware NAS from this company. But its not officially supported by them. You could get support from the community for this software, but not from the company itself.
I think this is an important thing because Synology offers really great support. They're smart using linux and would fix strange bugs remote over ssh. You shoud device if its worth from you to buy a stock-NAS to benefit from them. If you're a do-it-yourselfer, then Xpenology would be a good and cheap alternative.
Especially for end-users which less or none experience in IT/linux, it would be a better deal for them to buy a Synology NAS, switch it on and have fun without caring about the backend technology.

Is there a fast painless way to setup a linux distro on VirtualBox?

I like the Docker Hub with dockerfiles idea very much.
Is there a similar way to get a small working linux VirtualBox instance in a few commands, that could also be controlled from a command line?
Vagrant is a great tool that does just what you want and much more! It's a ruby application written for fast and simple setup of minimal development environments.
By default it creates VirtualBox images, but it supports VMWare and many others too. The whole setup of a box is managed by a single Vagrantfile! Your vm options, network settings and provisioning is done there.
Setting up a virtualbox box is as easy as executing just two shell commands. Checkout the Getting Started Guide for an example using Ubuntu.
You can use a vast range of prepared images from the Hashicorp Atlas or build your owns.
Also, vagrant doesn't limit you to one virtual machine per development setup, it enables you to model cluster setups on a single machine using multiple vms. I myself use docker for that part though.
Edit: fixed a typo :<

Networking in Mono

All,
I'm attempting to estimate the effort to port an app developed on Windows (.NET) to Linux (Mono). I came across the MoMA tool, which attempts to look through my .exe and find potential areas of incompatibility. Most of my issues appear to be centered around get/set of network settings, getting network info, etc. (Object ManagementBaseObject.get_Item and set_Item. etc).
In almost all of the cases, the Mono functionality is listed as "ToDo". For estimation purposes, is it safe to assume most/all of these have some kind of workaround? I would imagine this type of basic networking support must be included in the latest version of Mono. Or should I assume none of this is currently available and I would be stuck waiting for it to be implemented (or be forced to implement it myself)?
Thanks,
Dan
First,see Mono Compatible Networking/Socket Library. Also,take a look on Cross-Platform Network Applications with Mono. You can start with C# Network Library.

Remotely control an Oracle Virtual Box

I have 50 virtual machines running using oracle virtualbox tool. Maintaining them has become really difficult. So I would like to create a small webpage or an app that will control these virtual machines. Basically to reboot, push files to these machines, pull files, shutdown or perform any operations in these VMs remotely using the tool/webpage I develop. Is that really possible. What kind of API does this comes with? I only know Java language. Is that enough?
Or if there are any other alternatives please help me. Thanks!
It is possible but would be a difficult job ! Specially pushing and pulling files from VM. You need to know some scripting languages. And in industry developers often prefer Python over Java to develop this kind of virtual machine applications. You can use this Remote Desktop Connection Manager
It may not fulfill all your requirements but can help you to achieve most of them.