1. Home
  2. mangelajo

Mangelajo's Projects

mangelajo/flightctl

FlightCTL Edge device fleet management tools
  • Centos-stream 9 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora eln : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64
  • Rhel 9 : aarch64, x86_64

mangelajo/yosys

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

mangelajo/custom-firmware-example

This is a custom firmware example built for fwupd, to be embedded in RHEL4Edge images, in the long term the goal is to let ImageBuilder and osbuild do this work without needing to create and publish custom rpm repositories.
  • Centos-stream 9 : aarch64, x86_64
  • Rhel 9 : aarch64, x86_64

mangelajo/fwupd

Unofficial builds of latest code

mangelajo/microshift-hello-world

Hello World Manifests for MicroShift
  • EPEL 8 : x86_64

mangelajo/microshift-app-demo

Some container workload to embed on a ostree image
  • Centos-stream 8 : aarch64, x86_64

mangelajo/microshift

Microshift is a research project that is exploring how OpenShift1 Kubernetes can be optimized for small form factor and edge computing. Edge devices deployed out in the field pose very different operational, environmental, and business challenges from those of cloud computing. These motivate different engineering trade-offs for Kubernetes at the far edge than for cloud or near-edge scenarios. Microshift's design goals cater to this: make frugal use of system resources (CPU, memory, network, storage, etc.), tolerate severe networking constraints, update (resp. roll back) securely, safely, speedily, and seamlessly (without disrupting workloads), and build on and integrate cleanly with edge-optimized OSes like Fedora IoT and RHEL for Edge, while providing a consistent development and management experience with standard OpenShift. We believe these properties should also make Microshift a great tool for other use cases such as Kubernetes applications development on resource-constrained systems, scale testing, and provisioning of lightweight Kubernetes control planes. Watch this end-to-end MicroShift provisioning demo video to get a first impression of MicroShift deployed onto a RHEL for edge computing device and managed through Open Cluster Management. Note: Microshift is still early days and moving fast. Features are missing. Things break. But you can still help shape it, too. 1) more precisely OKD, the Kubernetes distribution by the OpenShift community
  • Centos-stream 8 : aarch64, x86_64
  • Centos-stream 9 : aarch64, x86_64
  • EPEL 8 : aarch64, x86_64
  • EPEL 9 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

mangelajo/microshift-nightly

Microshift is a research project that is exploring how OpenShift1 Kubernetes can be optimized for small form factor and edge computing. Edge devices deployed out in the field pose very different operational, environmental, and business challenges from those of cloud computing. These motivate different engineering trade-offs for Kubernetes at the far edge than for cloud or near-edge scenarios. Microshift's design goals cater to this: make frugal use of system resources (CPU, memory, network, storage, etc.), tolerate severe networking constraints, update (resp. roll back) securely, safely, speedily, and seamlessly (without disrupting workloads), and build on and integrate cleanly with edge-optimized OSes like Fedora IoT and RHEL for Edge, while providing a consistent development and management experience with standard OpenShift. We believe these properties should also make Microshift a great tool for other use cases such as Kubernetes applications development on resource-constrained systems, scale testing, and provisioning of lightweight Kubernetes control planes. Watch this end-to-end MicroShift provisioning demo video to get a first impression of MicroShift deployed onto a RHEL for edge computing device and managed through Open Cluster Management. Note: Microshift is still early days and moving fast. Features are missing. Things break. But you can still help shape it, too. 1) more precisely OKD, the Kubernetes distribution by the OpenShift community
  • Centos-stream 8 : aarch64, x86_64
  • Centos-stream 9 : aarch64, x86_64
  • EPEL 8 : aarch64, x86_64
  • Fedora 41 : aarch64, x86_64
  • Fedora 42 : aarch64, x86_64
  • Fedora rawhide : aarch64, x86_64

mangelajo/kicad

THIS REPO IS DEPRECATED, USE https://copr.fedorainfracloud.org/coprs/g/kicad/kicad/ This is a nightly built repository for KiCad http://www.kicad-pcb.org/ with wxPython and wxGTK3(gtk2 based) and python scripting enabled. wxGTK3 warning: If you have other applications installing wxGTK3 you may need to uninstall the other wxGTK3, because they will be conflicting. We cannot use the compat layer from fedora for wxGTK3-gtk2 because it does not provide wxPython support. EL7 warning: Please note that we're upgrading boost, cmake and swig for el7 systems to more up to date versions.
  • EPEL 7 : x86_64

mangelajo/ovh-neutron

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • EPEL 7 : x86_64

News - Read All

Task Queue

12 Build Batches 1 Importing 0 Pending 0 Starting 159 Running

Recent Builds - View All

python-ntplib

Project: @python/python-in-pulp

Build: 9363803

State: succeeded

Finished: 4 minutes ago

kernel

Project: @python/python3.14

Build: 9363893

State: succeeded

Finished: 4 minutes ago

duckstation

Project: monkeygold/Emporium

Build: 9364709

State: failed

Finished: 5 minutes ago

blender

Project: @designsuite/blender

Build: 9364707

State: failed

Finished: 6 minutes ago