[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Minios-devel] [UNIKRAFT/INTX PATCH 0/4] Port of intx on Unikraft
- To: "minios-devel@xxxxxxxxxxxxx" <minios-devel@xxxxxxxxxxxxx>
- From: Vlad-Andrei BĂDOIU (78692) <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
- Date: Fri, 1 Nov 2019 12:50:29 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=stud.acs.upb.ro; dmarc=pass action=none header.from=stud.acs.upb.ro; dkim=pass header.d=stud.acs.upb.ro; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Fnom+Z78DH8DYwILZQrvFe+F1JCcKY17l26lCxrVLXE=; b=n7avNfQTs5BZl2RY00/ywLLn+z2txogUDCsdbQxmrM+y8uiUKA3uvZPi9/v8qWefmtyXDL04vFdhqOTGhmuADeXoLgw6Es18XJkdOSjNcqnin1e5VX5SGEJ2VqYU4yqIHO8O1iIhU298vGlsSVNHCW2Jxh4RpD4HF0lXmhK9eUxfe2M4y1bD8QffJ1qRBBnZ0ykRBqXQtBtCTZsCHYnYn/PALMu86SGohcEXwScfPgza6z62Dy4LLfQXRteapPRbWl5tfA9EU2bDdSaufE9wW3dFzliRaL0nMdUtMuVueqINJiPJg4D6wR2qytX0ApsV944NuIpqMNPx8H1OqePbtQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=XiT2aEnSQhZ9n7sbuXMm6omns18MEnb7X8SxRgFb4uA6v0WVWoGDcatzIYJXjMphx5iKdEItZn3zL1uIBYYezPGoxLeH/4w9LHdNWOoJZw+Ud8e7iwYSKg+Jng82AtbH+EEDXIdPO3TM8iXvd18ETvn85aE41xREG18bfx5IXff52lJxZzlYQVFmJokBgudGGrAMHhTBHX7I/hsAvuT6vXZvPh5Bpa3kSrHil14lJ9rY6fDB8GvsszVBSaPmQZwjdcWlQwWnECHG0BmhMruBi1k0ZdoWhDrG1/R7O4jGpVE/l5ut5Iu9Iks9aXj5NZVEjekeMcaneRuN0grSI9g55g==
- Authentication-results: spf=none (sender IP is ) smtp.mailfrom=vlad_andrei.badoiu@xxxxxxxxxxxxxxx;
- Cc: "felipe.huici@xxxxxxxxx" <felipe.huici@xxxxxxxxx>, Vlad-Andrei BĂDOIU (78692) <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>
- Delivery-date: Fri, 01 Nov 2019 12:50:37 +0000
- List-id: Mini-os development list <minios-devel.lists.xenproject.org>
- Thread-index: AQHVkLLwovuVTqXJ0UK5sXFeBV6XqA==
- Thread-topic: [UNIKRAFT/INTX PATCH 0/4] Port of intx on Unikraft
This is our initial port of intx on Unikraft. intx is an extended precision
integer library.
Vlad-Andrei Badoiu (4):
Introduce library skeleton
Add Makefile.uk
Add extra configuration symbols
README.md: Update with info about building
--
2.20.1
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel
|
