Skip to content

Instantly share code, notes, and snippets.


Carlos Eduardo carlosedp

View GitHub Profile
View Blinky.vcd
$timescale 1ns $end
carlosedp / Dockerfile.symbiflow
Last active Apr 15, 2021
Symbiflow Docker image
View Dockerfile.symbiflow
FROM continuumio/miniconda
ENV INSTALL_DIR="/opt/symbiflow"
RUN apt-get update && \
apt-get upgrade -y && \
apt-get install -y ca-certificates git build-essential wget cmake xz-utils --no-install-recommends
carlosedp /
Last active Apr 15, 2021
FuseSoc launcher wrapper for containerized commands
import os
import shutil
import subprocess
import sys
containers = {
'yosys' : 'hdlc/yosys',
'nextpnr-ice40': 'hdlc/nextpnr',
'nextpnr-ecp5' : 'hdlc/nextpnr',
carlosedp /
Last active Nov 19, 2020
PS3 SPU Toolchain Build
#!/usr/bin/env bash
set -euxo pipefail

RK3399 ESXi Tests

Some tests trying to boot ESXi for ARM on RK3399 board (RockPro64).

Followed the build process for the RK3399 UEFI on a Debian Linux host

Make sure the shell is bash. Doesn't work on zsh (learned the hard way).

apt-get install -y build-essential acpica-tools nasm uuid-dev gcc-aarch64-linux-gnu parted dosfstools
carlosedp / Dockerfile-gatekeeper
Created Oct 13, 2020
Dockerfiles for Keycloak and Gatekeeper
View Dockerfile-gatekeeper
# Building on Docker buildx
# docker buildx build --platform linux/arm64,linux/amd64,linux/ppc64le -t repo/keycloak-gatekeeper:v9.0.0 . --push
# docker buildx build --platform linux/arm64,linux/amd64,linux/ppc64le --build-arg VERSION=8.0.0 -t repo/keycloak-gatekeeper:v8.0.0 . --push
# docker buildx build --platform linux/arm64,linux/amd64,linux/ppc64le --build-arg VERSION=master -t repo/keycloak-gatekeeper:latest . --push
# Build on Docker
# For the default os/arch (linux/amd64) and version (9.0.0)
# docker build -t repo/keycloak-gatekeeper:v9.0.0 .
# Builder container
carlosedp /
Created Jun 12, 2020
Python TensorFlow 2 MNIST Sample
from __future__ import absolute_import, division, print_function
import tensorflow as tf
from tensorflow.keras import Model, layers
import numpy as np
# MNIST dataset parameters.
num_classes = 10 # total classes (0-9 digits).
carlosedp / Dockerfile
Created Jun 5, 2020
View Dockerfile
# Copyright (c) 2020, NVIDIA CORPORATION. All rights reserved.
# Permission is hereby granted, free of charge, to any person obtaining a
# copy of this software and associated documentation files (the "Software"),
# to deal in the Software without restriction, including without limitation
# the rights to use, copy, modify, merge, publish, distribute, sublicense,
# and/or sell copies of the Software, and to permit persons to whom the
# Software is furnished to do so, subject to the following conditions:
# The above copyright notice and this permission notice shall be included in
carlosedp /
Created Mar 27, 2020
Openshift 4 on VSphere Quick Guide

Openshift 4 vSphere Install


  1. Reserve one IP for Bootstrap Node
  2. Reserve three IPs for Control-Plane Nodes
  3. Reserve two or three IPs for Infra-Nodes
  4. Check if Control-plane Load-Balancer VIP points to four IPs (Bootstrap + Control-Plane nodes)
  5. Check if Infra-Node Load-Balancer VIP points to the Infra-Node IPs
  6. Check created DNS entries:
carlosedp / MIDIController.cpp
Last active Mar 19, 2020
Arduino MIDI Controller
View MIDIController.cpp
#include <NewSoftSerial.h>
#include <MIDISoft.h>
#include <LedControl.h>
#include <EEPROM.h>
#include <MemoryFree.h>
#include <Flash.h>
Midi switcher controller based on CAE RS5
by Carlos Eduardo de Paula (CarlosEDP)