[ANN] Muen version 1.1 released

Hello, After a long period of active development (the last release was two years ago), we are

Enabling ADX/AVX2/BMI2 instructions

Hello Sven, On 1/10/24 18:55, Sven Anderson wrote: > > Adrian-Ken Rueegsegger <ken@codelabs.

raised TAU0.MMAP.MMAP_ERROR : Mmap_Anon: MAP_FAILED

On 11/2/23 12:37, sosagadinet wrote: > Hello, thank you very much for your attention. Below I

Muen hardware.xml and platform.xml files

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

Question for university project

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

mugenhwcfg -- Could not access file: /dev/mem

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

[ANN] Muen version 1.0 released

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

Make failed in container.

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

Initial booting

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

Latest Muen build crash

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

Microkernel that has been formally proven

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

Unpublished report by Dorn and Senier

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

Muen ISO demo?

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

Still Active Development

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

Help regarding application installation on muen

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

Help Required Regarding Build of Meun Separation Kernel

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

Help regarding Muen

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

Build fails with Make Error: No valid configuration found

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

Muen Configurations

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

Native Ada network questions + MirageOs/Solo5 setup remark

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

[ANN] Muen development version 0.9 released

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

Impact of Spectre

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

Impact of Meltdown

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

Error when creating Devices element when using mugenhwcfg.py

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

Make fail. Error 'BSF_KEEP_G' undeclared.

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

FOSDEM 2018 - Microkernels developer room - CfP

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

Build failing - initramfs too large

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

Muen Make Error

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

[ANN] Muen development version 0.8 released

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

Direct device assignment demo

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