jefg89
Follow
-
-
-
optee-os_raspberry_pi_4_port Public
Forked from Jachm11/optee-os_raspberry_pi_4_portThis repository contains a way to port the op-tee TEE to rpi4
C UpdatedApr 19, 2024 -
-
-
arm-trusted-firmware Public
Forked from peter-nebe/arm-trusted-firmwareExperimental support of OP-TEE OS on the Raspberry Pi 4
C Other UpdatedJun 6, 2023 -
optee_os Public
Forked from peter-nebe/optee_osExperimental support of the OPTEE on rpi4
C Other UpdatedJun 6, 2023 -
Splash-3 Public
Forked from SakalisC/Splash-3The Splash-3 benchmark suite
GLSL UpdatedNov 30, 2022 -
HotSniper Public
Forked from anujpathania/HotSniperAn EDA toolchain for interval thermal simulations of 2D multi-/many-cores in an open system.
-
-
PDI Public
Procesamiento digital de imágenes
C++ GNU Lesser General Public License v3.0 UpdatedOct 13, 2015 -
-
proyecto_final_prototipado Public
Proyecto Final Prototipado en FPGA
Verilog GNU General Public License v2.0 UpdatedDec 4, 2014 -
meta-oe Public
Forked from OSSystems/meta-oeObsolescent mirror, use "meta-openembedded" instead
BlitzBasic MIT License UpdatedOct 21, 2014 -
-