Search Results for "package installer linux"

This is only repository binary file. If you interest, visit the website https://gitlab.com/mzdonline/cmu-opkg. For developer to activate package management system on CMU. Developer can easy to build own package .Look at Makefile and opkg/*

EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface - System Table - Runtime Services - Boot Services pAnalyzer package - Tracing UEFI protocol calling flow Output protocol flow to screen or file with XML format CorePy (assembly package) - Simple Assembly code in Python environment. EfiPy Shell package- Simple uefi shell program coded with EfiPy library to prove EfiPy workable EfiPy leverage these open source packages -...

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

OBSOLETE - Please proceed to new repo: https://github.com/nasa/osal This project will be closed in the near future ALERT: The osal-4.2.1a release package is now available. This release package fixes a unit test makefile to use Modules.mak rather than using ut-modules.mak directly. The top-level readme.md file was also updated to add missing information. The OS Abstraction Layer (OSAL) project is a small software library that isolates embedded software from the real time...