Repositories list

• kernel-hardened

  Public
  The hardened Linux kernel; originally from the Arch Linux repository and repackaged for Fedora Linux

  kernelhardened

  kernelhardened

  Python

  •

  GNU General Public License v2.0

  •22 forks•77 stars•11 issue•00 pull requests•Updated Dec 22, 2024Dec 22, 2024

• HardHatOS

  Public
  Summary for Hard Hat OS

  00 forks•55 stars•00 issues•00 pull requests•Updated Aug 30, 2022Aug 30, 2022

• selinux-templates

  Public archive
  SELinux templates for Hard Hat OS (HOS)

  Shell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 30, 2022Aug 30, 2022

• selinux-policy

  Public archive
  Hard Hat OS fork of Fedora Linux's selinux-policy

  Python

  •

  GNU General Public License v2.0

  •218218 forks•00 stars•00 issues•00 pull requests•Updated May 29, 2022May 29, 2022

• devel-bin

  Public archive
  Scripts used by the Hard Hat OS project for development

  Python

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 7, 2022May 7, 2022

• devel-selinux-interfaces

  Public archive
  SELinux access interface macros for HardHatOS

  Shell

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 16, 2022Apr 16, 2022

• selinux-label-home

  Public archive
  SELinux policy modules (label only) for files and directories within $HOME

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 3, 2022Apr 3, 2022

• http-date-time

  Public
  Set the system date and time using HTTP headers

  securitydatetimedate+ 1

  securitydatetimedatentp

  Python

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 27, 2022Mar 27, 2022

• hardened_malloc

  Public
  Hardened allocator designed for modern systems; packaged for Fedora Linux

  Python

  •

  MIT License

  •44 forks•33 stars•00 issues•00 pull requests•Updated Mar 27, 2022Mar 27, 2022