1. Home
  2. mangelajo

Mangelajo's Projects

mangelajo/yosys

Description not filled in by author. Very likely personal repository for testing purpose, which you should not use.
  • Fedora 40 : 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
  • Fedora 38 : aarch64, x86_64

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 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : 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 38 : aarch64, x86_64
  • Fedora 39 : aarch64, x86_64
  • Fedora 40 : 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

0 Build Batches 0 Importing 0 Pending 21 Starting 119 Running

Recent Builds - View All

python-mizani

Project: thrnciar/python-pluggy

Build: 7385928

State: succeeded

Finished: 20 seconds ago

python-mizani

Project: @python/python3.13

Build: 7385927

State: succeeded

Finished: a minute ago

hugo

Project: gotmax23/golang-github-spf13-cobra-1.5.0

Build: 7385917

State: succeeded

Finished: 2 minutes ago

hugo

Project: solopasha/golang-github-dlclark-regexp2-1.10.0

Build: 7385918

State: succeeded

Finished: 2 minutes ago