Page MenuHomePureOS Tracker
Feed Advanced Search

May 27 2021

jonas.smedegaard renamed T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component from Thinking out of the box for systems security here :) What if we could increase security of PureOS by virtualizing it on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component? to new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.
May 27 2021, 06:03 · PureOS Grsec, Restricted Project, Restricted Project
jonas.smedegaard placed T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component up for grabs.
May 27 2021, 06:02 · PureOS Grsec, Restricted Project, Restricted Project

Feb 19 2020

lvk added a watcher for PureOS Grsec: lvk.
Feb 19 2020, 23:32

Dec 14 2019

si added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

before one thinks about repurposing intel ME, maybe try to repurpose its (near) equivalent on AMD first. A Czech guy gave a talk on this, he found a way into it.

Dec 14 2019, 03:08 · PureOS Grsec, Restricted Project, Restricted Project

Jan 6 2018

todd reassigned T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component from todd to zlatan.todoric.

Should probably go to Zlatan, or maybe Kyle.

Jan 6 2018, 12:23 · PureOS Grsec, Restricted Project, Restricted Project

Aug 19 2017

zlatan.todoric closed T35: grsec: programmatically testing applications? as Wontfix.

Removing grsec support from PureOS. More https://tracker.pureos.net/T37

Aug 19 2017, 12:16 · PureOS Grsec
zlatan.todoric closed T36: grsec: deluge, youtube-dl, python based network gui software failing to launch as Wontfix.

Removing grsec support from PureOS. More https://tracker.pureos.net/T37

Aug 19 2017, 12:16 · PureOS Grsec
zlatan.todoric closed T38: grsec: disk formatting/partitioning may not work as Wontfix.

Removing grsec support from PureOS. More https://tracker.pureos.net/T37

Aug 19 2017, 12:16 · PureOS Grsec
zlatan.todoric closed T41: grsec: gnome-tweak-tool as Wontfix.

Removing grsec support from PureOS. More https://tracker.pureos.net/T37

Aug 19 2017, 12:15 · PureOS Grsec
zlatan.todoric closed T42: grsec: gnome-user-settings unavailable to unlock as Wontfix.

Removing grsec support from PureOS. More https://tracker.pureos.net/T37

Aug 19 2017, 12:15 · PureOS Grsec
zlatan.todoric closed T47: grsec: thunderbird (replaced icedove) and now doesn't work with grsec as Wontfix.

Removing grsec support from PureOS. More https://tracker.pureos.net/T37

Aug 19 2017, 12:15 · PureOS Grsec
zlatan.todoric closed T37: 4.7 vs 4.8-grsec mouse events ignored sometimes with multimedia in 4.7 work fine in 4.8-grsec as Wontfix.

Due to all recent events, grsec will be impossible to support and we will actually actively remove it from our archive. We will gradually improve security, probably first step by enabling AppArmor by default. Closing all grsec related packages.

Aug 19 2017, 12:11 · PureOS Grsec
mak closed T33: grsec: Software fails to install from Gnome Software, but is able to from terminal as Wontfix.

Closing, as we won't use grsec anymore.

Aug 19 2017, 09:53 · PureOS Grsec

Aug 11 2017

mak triaged T33: grsec: Software fails to install from Gnome Software, but is able to from terminal as Low priority.
Aug 11 2017, 16:02 · PureOS Grsec

Jun 23 2017

zlatan.todoric added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

We do have some refurbished Librems (as I mentioned it already here) but to get it you need to show some work already. Feel free to ping me on IRC (zlatan on freenode) or mail me directly so we talk about it.

Jun 23 2017, 06:57 · PureOS Grsec, Restricted Project, Restricted Project

Jun 22 2017

baconicsynergy added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

If you have any smashed up, deformed, or otherwise defective librem laptops missing a battery and disk and have no chance of selling them, I wouldn't mind taking it off of your hands for me to do some experimental PureOS development! :)

Jun 22 2017, 17:42 · PureOS Grsec, Restricted Project, Restricted Project

Jun 12 2017

baconicsynergy added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

This is all so exciting!

Jun 12 2017, 05:20 · PureOS Grsec, Restricted Project, Restricted Project
zlatan.todoric added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

For the custom kernel - yes, I have for some time that in mind basically called on my TODO list as "PureOS kernel optimization" - the thing is that I wanted to have grsec enabled kernel by default before digging into that (as vanilla grsec is not meant for proper desktop usage) but now we faced the dawn of grsec so I am not sure yet how we will approach all that. If you have the skillset, I would gladly chat about it (I refurbished 6 Librem15v2 (prototypes and returns) which would end up maybe missing one components (such as disk or battery) but they are enough for development for future contributors to PureOS).

Jun 12 2017, 05:00 · PureOS Grsec, Restricted Project, Restricted Project
baconicsynergy added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

And I absolutely love that PureOS is developed with the Librem hardware in mind primarily. The Librems are without a doubt the standard of freedom and quality. This makes them highly-secure, but is still low-assurance, undeniably.

Jun 12 2017, 04:32 · PureOS Grsec, Restricted Project, Restricted Project
baconicsynergy added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

I feel you. For now, I will experiment with virtualizing PureOS with both sel4 and nova and see if interesting things develop nicely, and relay my results. Since all of the hardware is freed, device drivers will not be a problem for Genode to run perfectly on the Librem device (I wish I had the beefy cash to buy one :/).

Jun 12 2017, 04:15 · PureOS Grsec, Restricted Project, Restricted Project
zlatan.todoric added a comment to T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.

While this could be something to think about, at this moment it is way off the charts. It is undeveloped/untested proposal which would require quite a bit effort to achieve and we are currently overwhelmed with work. Besides manpower/manhours we would need to check against all freedom components (is all free and possible and if not what would require to create free alternative) and how much would impact performance and user experience of the device and OS. PureOS welcomes contributions and proof-of-concept demos if someone does (if you have the skills, feel free to join the community).

Jun 12 2017, 03:29 · PureOS Grsec, Restricted Project, Restricted Project

Jun 4 2017

baconicsynergy created T109: new: invent virtualizing on top of the seL4/NOVA microkernel, either using CAmkES or as a Genode virtualization component.
Jun 4 2017, 14:16 · PureOS Grsec, Restricted Project, Restricted Project

Apr 6 2017

hema.prathaban added a comment to T36: grsec: deluge, youtube-dl, python based network gui software failing to launch.

this is not reproducible after apt-get update; apt-get upgrade

Apr 6 2017, 11:10 · PureOS Grsec
hema.prathaban added a comment to T41: grsec: gnome-tweak-tool.

this is not reproducible after apt-get update; apt-get upgrade

Apr 6 2017, 11:09 · PureOS Grsec
hema.prathaban added a comment to T47: grsec: thunderbird (replaced icedove) and now doesn't work with grsec.

please try setting the pax extended attributes

Apr 6 2017, 11:04 · PureOS Grsec

Apr 5 2017

hema.prathaban claimed T38: grsec: disk formatting/partitioning may not work.
Apr 5 2017, 23:03 · PureOS Grsec
hema.prathaban added a comment to T41: grsec: gnome-tweak-tool.

I am not able to reproduce this issue on the latest beta.

Apr 5 2017, 22:30 · PureOS Grsec
hema.prathaban claimed T41: grsec: gnome-tweak-tool.
Apr 5 2017, 22:29 · PureOS Grsec

Apr 4 2017

hema.prathaban added a comment to T33: grsec: Software fails to install from Gnome Software, but is able to from terminal.

Todd, can you try adding your username to the following additional groups , this should solve the packagekit failing and will prompt for the authentication.

Apr 4 2017, 11:21 · PureOS Grsec

Apr 3 2017

todd created T47: grsec: thunderbird (replaced icedove) and now doesn't work with grsec.
Apr 3 2017, 13:54 · PureOS Grsec
todd added a comment to T33: grsec: Software fails to install from Gnome Software, but is able to from terminal.

OK, what configuration change do we need within PureOS to have this be the default?

Apr 3 2017, 11:53 · PureOS Grsec
hema.prathaban added a comment to T33: grsec: Software fails to install from Gnome Software, but is able to from terminal.

The following works
$ su -

  1. export DISPLAY=:1
  2. gnome-software
Apr 3 2017, 11:43 · PureOS Grsec

Mar 24 2017

zlatan.todoric updated subscribers of T38: grsec: disk formatting/partitioning may not work.
Mar 24 2017, 20:24 · PureOS Grsec
mak changed the visibility for PureOS Grsec.
Mar 24 2017, 20:10
todd created T42: grsec: gnome-user-settings unavailable to unlock.
Mar 24 2017, 13:44 · PureOS Grsec

Mar 23 2017

todd created T41: grsec: gnome-tweak-tool.
Mar 23 2017, 13:45 · PureOS Grsec

Mar 22 2017

todd created T38: grsec: disk formatting/partitioning may not work.
Mar 22 2017, 09:31 · PureOS Grsec
todd created T37: 4.7 vs 4.8-grsec mouse events ignored sometimes with multimedia in 4.7 work fine in 4.8-grsec.
Mar 22 2017, 07:20 · PureOS Grsec

Mar 19 2017

mak added a project to T33: grsec: Software fails to install from Gnome Software, but is able to from terminal: PureOS Grsec.
Mar 19 2017, 19:33 · PureOS Grsec
mak added a project to T35: grsec: programmatically testing applications?: PureOS Grsec.
Mar 19 2017, 19:33 · PureOS Grsec
mak added a project to T36: grsec: deluge, youtube-dl, python based network gui software failing to launch: PureOS Grsec.
Mar 19 2017, 19:33 · PureOS Grsec
mak created PureOS Grsec.
Mar 19 2017, 19:32