Skip to content
View humzak711's full-sized avatar
🚀
🚀

Highlights

  • Pro

Organizations

@MicroOperations @WorkhorseComputing

Block or report humzak711

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
humzak711/README.md
  • Real-time computing / Formal methods

Pinned Loading

  1. WorkhorseComputing/WorkhorseRT WorkhorseComputing/WorkhorseRT Public

    Microkernel and Hypervisor platform designed for hard real-time systems demanding high performance and high assurance

    C 20 3

  2. WorkhorseOnWorkhorse WorkhorseOnWorkhorse Public

    PoC of Workhorse running as a guest on workhorse

    C 2

  3. MicroOperations/PredecodeRE MicroOperations/PredecodeRE Public

    An analysis of intels goldmont plus uarch predecode caches core logic due to it being undocumented

    C 19 3

  4. MicroOperations/Twan MicroOperations/Twan Public

    A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads

    C 42 8