Search Results for "skyeye-testsuite"

Pharos is a free open-source RTOS for secure, safe and real-time systems with the following characteristics: - Memory and enhanced time partitioning (TSP) - Native support for sporadic, periodic and aperiodic threads - Fixed-priority preemptive scheduler - Execution time protection (threads are prevented from executing for more time than they are configured to) - Small size (full image has ~100 to 300KiB text, ~30KiB data) - Hard real-time determinism - Fast critical sections - Prioritized nested interrupts - inter-partition communication with filters to protect unwanted access - Multicore support (RMP) - Supports ARM9, Cortex-A/R/M and Aarch64, RISC-V64 (64 bits) - The complete TestSuite (see below information) is run successfully for each platform in each release - Tested: more than 170 KLOC of requirement-based tests, executed for each board at each release - Up-to-date User Manual also available See our wiki page for more information.

This project contains a MAGERIT control catalogue for the Verinice information security management system and an Open Checklist Initiative Language (OCIL) testsuite for MAGERIT. MAGERIT is a Spanish risk assessment standard that is available for free.

Kernel drivers and support ports to use "Trusted Platform Modules" on FreeBSD and OpenBSD