Planet Hypervisor

Solution of one system of equations in boolean variables having style like x1 => x2 => … =>x6=1 && y1 => y2 => … =>y6 =1 && x1 => y1 via Mapping method

Original system looks like :- x1 => x2 => x3 => x4 => x5 => x6 =1 y1 => y2 => y3 => y4 => y5 => y6 =1 x1 => y1 =1 Down here we follow approach originally developed in Build basic diagram and define function F( ) to apply Mapping method suggested  […]

XenServer 7.2 now available!

Hello XenServer community! The XenServer team is proud to announce the release of version 7.2, which includes an array of improvements that further simplify and refine the user experience and enable even greater platform management scalability. Click here to learn more about the new features available in XenServer 7.2. See you on the XenServer page on! Andy M.  

Google Summer of Code 2017 with Bazel

This year Bazel has given me an invaluable opportunity to work with them as a Google Summer of Code 2017 participant and I am very excited to share this information. I will be working on project titled “Code completion for .bzl files” under guidance of Mr. Laurent Le Brun. The aim is to create a standalone […]

Solution of one system of equations in boolean variables via bitmasks in regards of training for Unified State Examination in Informatics (Russia)

In brief, bitmasks are supposed to be a core tool for solution of systems of equations in Boolean variables versus method suggested at for task 11 which is pretty much similar to sample been analyzed bellow ************************************* Original task looks like :- ************************************* Determine total number of corteges {x1,…,x9,y1,….,y9} which and only which satisfy […]

MirageOS March 2017 hack retreat roundup

Cambio, OCaml and Karaoke: MirageOS Hack Retreat, Marrakech 2017 This March, 34 people from around the world gathered in Marrakech for a spring Mirage hack retreat. This is fast becoming a MirageOS tradition, and we're a little sad that it's over already! We've collected some trip reports from those who attended the 2017 Hack Retreat, and we'd like to thank our amazing hosts, organisers and everyone who took the time to write up their experiences. Props go especially to Hannes Mehnert who initiated the event and took care of many of the logistics, and to Gemma Gordon for designing and printing...

Creating backups with XenServer

Backup is an essential part of the business workflow for many of our customers - be it SMB, Enterprise Server Virtualisation or Virtual Desktop Infrastructure. Making the backup experience smoother is high up on our wishlist at XenServer Engineering and the delivery of improved VM import/export performance in XS 7.1 shows our commitment to that end. To continue improving our services supporting the backup ecosystem, we would like to better understand how you use backup with XenServer   How often do you backup? Do you have multiple jobs for monthly, weekly, daily backups? How do you create your backups? Use VM Export to backup...

XenCenter 7.1 update now available!

A hotfix (XS71E001) has been released for customers using XenCenter as the management console for their XenServer 7.1 virtual environments.  This hotfix offers improvements in XenCenter UI responsiveness, as well as several fixes associated with host health check analysis, status reports and updates. Additional information pertaining to this hotfix can be found here. As always, we encourage customers read the hotfix release notes and install the hotfix to avoid any of the issues described in the notes.  

Easy distributed analytics with Irmin 1.0

I am really happy to announce the release of Irmin 1.0, which fully supports MirageOS 3.0 and which brings a simpler and yet more expressive API. Irmin is a library for designing Git-like distributed databases, with built-in branching, snapshoting, reverting and auditing capabilities. With Irmin, applications can create tailored mergeable datastructures to scale seamlessly. Applications built on top of Irmin include Tezos, a distributed ledger, Datakit, a distributed and reactive key-value store, and cuekeeper, a web-based GTD system. Read "Introducing Irmin: Git-like distributed, branchable storage" for a description of the concepts and high-level architecture of the system. To install Irmin 1.0: opam install irmin The running example in this post will be an...

Adding the Qubes target to Mirage

slightly easier unikernels on the desktop When I got a new laptop in early 2016, I decided to try out this QubesOS all the cool kids were talking about. QubesOS also runs a hypervisor, but it nicely supports running multiple virtual machines for typical user tasks, like looking at cat photos with a web browser, viewing a PDF, listening to music, or patching MirageOS. QubesOS also uses Xen, which means we should be able to even run our MirageOS unikernels on it... right? The answer is yes, after a fashion. Thomas Leonard did the hard work of writing mirage-qubes,...

Size matters: how Mirage got smaller and less magical

Size matters: how Mirage got smaller and less magical In this article, some technical background and empirical evidence is given how we reduced the lines of code in Mirage3, which has about 25% fewer lines of code than Mirage2, while providing more features. Mirage does a fair amount of code generation since its initial release to extend target-agnostic unikernels to target-specific virtual machine images (or Unix binaries). Until Mirage 2.7, string concatenation was used heavily. Since the Mirage 2.7.0 release (February 2016), it is based on functoria, "a DSL to describe a set of modules and functors, their types and how to apply them in order to produce a complete application". The...