muen-dev

Hi and welcome to the list! On 2/19/23 16:37, Lyes Doudou wrote: > Hello, > > I am trying to

On 1/30/23 16:26, Alessandro Monaco wrote: > me and Pietro finished our project, thanks for all

Hello Andre, Welcome to the muen-dev list! On 2/23/22 18:11, Andr'e Dietrich wrote: > Hello

Hi, More than eight years of continued development after the initial publication, we are proud to

Hi Adrian, Thank you, previously I just did make clean. Now the build finished, thanks. Best regards,

Hello Lonnie, On 4/3/20 5:46 PM, Lonnie Cumberland wrote: > Thanks Adrian for the very useful

I'll try that and let you know. Will build on my local Debian 9 system and stay out of Docker for

Hello Chuck, Welcome to the list! On 9/14/19 12:22 AM, Chuck Petras wrote: > The web page states

Alexander Senier can be found here https://componolit.com/index_en.html#contact and on twitter here

Hi Adrian, I see. Perhaps I will have to investigate getting a new Intel based system for this

Hello Adrian, Welcome back to the list :) Happy to be back and hope that I can contribute more now as

Hi, On 4/17/19 11:13 PM, yadavika...@gmail.com wrote: > I have successfully build system

Hi, I am now successfully able to run muen in the emulator as replied by you in this mail thread. I

Thank you very much for your help! Successfully got the system image and emulated using Bochs IA-32

Use the top-level 'make distclean' command to properly clean the Muen working directory. If

Hi All, We are working on Muen verification. We need system configurations (policy) to do some checks

On 01/18/2018 04:39 PM, Adrian-Ken Rueegsegger wrote: > Documentation for how to run MirageOS

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 We are proud to announce the availability of Muen

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi, We thoroughly studied the potential impact of the

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi, We thoroughly studied the potential impact of the

Hi Connor, On 11/08/2017 03:33 PM, connor....@codethink.co.uk wrote: > Thanks for your help,

On 11/01/2017 03:19 PM, Adrian-Ken Rueegsegger wrote: > In the meantime you can use our (

FOSDEM 2018 - Microkernels developer room CALL FOR PARTICIPATION The developers of several free and

Hello, On 09/14/2017 07:59 PM, Sven Anderson wrote: > > BTW: I started the image (created with

On 09/04/2017 12:56 PM, Habeeb P wrote: > > Attached the policy XML file. > This file is

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 We are proud to announce the availability of Muen

Hi, On 11/23/2016 12:29 PM, Inzemamul Haque wrote: > We have certain queries regarding direct

Hi, On 11/19/2016 08:28 AM, Habeeb P wrote: > We are trying to verify the muen separation kernel.

Dear Muen developers, on Josef's behalf, I'd like to invite you to the microkernel developer

Hello, On 10/03/2016 07:36 AM, Habeeb P wrote: > 1. What is the use of slots in VT subject? I know