Groups
Sign in
Groups
muen-dev
Conversations
About
Send feedback
Help
muen-dev
Contact owners and managers
1–30 of 68
Welcome to the mailing list of the Muen Separation Kernel.
Mark all as read
Report group
0 selected
Adrian-Ken Rueegsegger
Apr 9
[ANN] Muen version 1.1 released
Hello, After a long period of active development (the last release was two years ago), we are
unread,
[ANN] Muen version 1.1 released
Hello, After a long period of active development (the last release was two years ago), we are
Apr 9
Sven Anderson
,
Adrian-Ken Rueegsegger
11
Jan 11
Enabling ADX/AVX2/BMI2 instructions
Hello Sven, On 1/10/24 18:55, Sven Anderson wrote: > > Adrian-Ken Rueegsegger <ken@codelabs.
unread,
Enabling ADX/AVX2/BMI2 instructions
Hello Sven, On 1/10/24 18:55, Sven Anderson wrote: > > Adrian-Ken Rueegsegger <ken@codelabs.
Jan 11
sosagadinet
,
Reto Buerki
4
11/2/23
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
unread,
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
11/2/23
Lyes Doudou
,
Reto Buerki
2
2/19/23
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
unread,
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
2/19/23
Pietro Di Maro
, …
Reto Buerki
48
1/31/23
Question for university project
On 1/30/23 16:26, Alessandro Monaco wrote: > me and Pietro finished our project, thanks for all
unread,
Question for university project
On 1/30/23 16:26, Alessandro Monaco wrote: > me and Pietro finished our project, thanks for all
1/31/23
Andre
, …
Reto Buerki
4
2/23/22
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
unread,
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
2/23/22
Reto Buerki
10/18/21
[ANN] Muen version 1.0 released
Hi, More than eight years of continued development after the initial publication, we are proud to
unread,
[ANN] Muen version 1.0 released
Hi, More than eight years of continued development after the initial publication, we are proud to
10/18/21
Shlomo Pongratz
,
Adrian-Ken Rueegsegger
5
4/7/20
Make failed in container.
Hi Adrian, Thank you, previously I just did make clean. Now the build finished, thanks. Best regards,
unread,
Make failed in container.
Hi Adrian, Thank you, previously I just did make clean. Now the build finished, thanks. Best regards,
4/7/20
Lonnie Cumberland
,
Adrian-Ken Rueegsegger
4
4/7/20
Initial booting
Hello Lonnie, On 4/3/20 5:46 PM, Lonnie Cumberland wrote: > Thanks Adrian for the very useful
unread,
Initial booting
Hello Lonnie, On 4/3/20 5:46 PM, Lonnie Cumberland wrote: > Thanks Adrian for the very useful
4/7/20
Lonnie Cumberland
,
Adrian-Ken Rueegsegger
7
4/1/20
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
unread,
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
4/1/20
Chuck Petras
,
Adrian-Ken Rueegsegger
2
9/17/19
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
unread,
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
9/17/19
Inzemamul Haque
,
Chuck Petras
4
9/16/19
Unpublished report by Dorn and Senier
Alexander Senier can be found here https://componolit.com/index_en.html#contact and on twitter here
unread,
Unpublished report by Dorn and Senier
Alexander Senier can be found here https://componolit.com/index_en.html#contact and on twitter here
9/16/19
Lonnie Cumberland
,
Adrian-Ken Rueegsegger
8
7/18/19
Muen ISO demo?
Hi Adrian, I see. Perhaps I will have to investigate getting a new Intel based system for this
unread,
Muen ISO demo?
Hi Adrian, I see. Perhaps I will have to investigate getting a new Intel based system for this
7/18/19
Lonnie Cumberland
,
Adrian-Ken Rueegsegger
3
7/11/19
Still Active Development
Hello Adrian, Welcome back to the list :) Happy to be back and hope that I can contribute more now as
unread,
Still Active Development
Hello Adrian, Welcome back to the list :) Happy to be back and hope that I can contribute more now as
7/11/19
yadavika...@gmail.com
,
Reto Buerki
2
4/23/19
Help regarding application installation on muen
Hi, On 4/17/19 11:13 PM, yadavika...@gmail.com wrote: > I have successfully build system
unread,
Help regarding application installation on muen
Hi, On 4/17/19 11:13 PM, yadavika...@gmail.com wrote: > I have successfully build system
4/23/19
Souvik Paul
,
Reto Buerki
3
4/9/19
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
unread,
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
4/9/19
yadavika...@gmail.com
,
Adrian-Ken Rueegsegger
17
4/4/19
Help regarding Muen
Thank you very much for your help! Successfully got the system image and emulated using Bochs IA-32
unread,
Help regarding Muen
Thank you very much for your help! Successfully got the system image and emulated using Bochs IA-32
4/4/19
Niranjhana Narayanan
,
Reto Buerki
15
8/15/18
Build fails with Make Error: No valid configuration found
Use the top-level 'make distclean' command to properly clean the Muen working directory. If
unread,
Build fails with Make Error: No valid configuration found
Use the top-level 'make distclean' command to properly clean the Muen working directory. If
8/15/18
Inzemamul Haque
8/1/18
Muen Configurations
Hi All, We are working on Muen verification. We need system configurations (policy) to do some checks
unread,
Muen Configurations
Hi All, We are working on Muen verification. We need system configurations (policy) to do some checks
8/1/18
Olivier Henley
, …
Adrian-Ken Rueegsegger
5
1/31/18
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
unread,
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
1/31/18
Reto Buerki
1/30/18
[ANN] Muen development version 0.9 released
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 We are proud to announce the availability of Muen
unread,
[ANN] Muen development version 0.9 released
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 We are proud to announce the availability of Muen
1/30/18
Adrian-Ken Rueegsegger
1/19/18
Impact of Spectre
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi, We thoroughly studied the potential impact of the
unread,
Impact of Spectre
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi, We thoroughly studied the potential impact of the
1/19/18
Reto Buerki
1/16/18
Impact of Meltdown
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi, We thoroughly studied the potential impact of the
unread,
Impact of Meltdown
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Hi, We thoroughly studied the potential impact of the
1/16/18
connor....@codethink.co.uk
,
Reto Buerki
12
11/9/17
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,
unread,
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,
11/9/17
connor....@codethink.co.uk
,
Adrian-Ken Rueegsegger
8
11/2/17
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 (
unread,
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 (
11/2/17
Jakub Jermář
10/9/17
FOSDEM 2018 - Microkernels developer room - CfP
FOSDEM 2018 - Microkernels developer room CALL FOR PARTICIPATION The developers of several free and
unread,
FOSDEM 2018 - Microkernels developer room - CfP
FOSDEM 2018 - Microkernels developer room CALL FOR PARTICIPATION The developers of several free and
10/9/17
Sven Anderson
,
Adrian-Ken Rueegsegger
6
9/15/17
Build failing - initramfs too large
Hello, On 09/14/2017 07:59 PM, Sven Anderson wrote: > > BTW: I started the image (created with
unread,
Build failing - initramfs too large
Hello, On 09/14/2017 07:59 PM, Sven Anderson wrote: > > BTW: I started the image (created with
9/15/17
Habeeb P
,
Reto Buerki
4
9/4/17
Muen Make Error
On 09/04/2017 12:56 PM, Habeeb P wrote: > > Attached the policy XML file. > This file is
unread,
Muen Make Error
On 09/04/2017 12:56 PM, Habeeb P wrote: > > Attached the policy XML file. > This file is
9/4/17
Adrian-Ken Rueegsegger
2/6/17
[ANN] Muen development version 0.8 released
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 We are proud to announce the availability of Muen
unread,
[ANN] Muen development version 0.8 released
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 We are proud to announce the availability of Muen
2/6/17
Inzemamul Haque
,
Reto Buerki
2
11/24/16
Direct device assignment demo
Hi, On 11/23/2016 12:29 PM, Inzemamul Haque wrote: > We have certain queries regarding direct
unread,
Direct device assignment demo
Hi, On 11/23/2016 12:29 PM, Inzemamul Haque wrote: > We have certain queries regarding direct
11/24/16