Robobostes

Robobostes ROBOBOSTES is a brand with heritage. We specialise in crafting advanced technologies. We are here for the long run embracing innovation.

Our products are delivered in Cloud Based applications, security applications and telecommunication infrastructure.

25/07/2026

Today marks one of the biggest milestones in our journey.

After months of architecture, low-level development, hardware validation, and countless hours debugging on real silicon, HEQK (Hardened Edge Quantum-safe Kernel) has reached production readiness.

What started as an idea to build a secure, capability-based microkernel has become a reality:

* ✅ Capability-based security model
* ✅ Memory isolation & scheduling
* ✅ Userspace and IPC
* ✅ RFC 9669 eBPF dataplane
* ✅ Inline IPS
* ✅ Hardware attestation
* ✅ Anti-rollback protection
* ✅ Stage-2 isolation
* ✅ Verified on real ARM64 hardware

This is more than another operating system.

HEQK was designed from day one as the trusted computing base for autonomous cybersecurity at the edge—minimizing attack surface while maximizing performance, determinism, and resilience.

With this milestone complete, we are now entering the next phase:

Integrating HEQK into HookProbe OS to completely replace Linux as the underlying operating system.

This will enable HookProbe to run on a purpose-built security microkernel where every component—from drivers to detection engines—is designed around isolation, capabilities, and high-assurance ex*****on rather than adapting a general-purpose operating system.

We’re not building another Linux distribution.

We’re building an operating system whose primary purpose is to detect, analyze, and stop cyber threats.

A huge thank you to everyone following our progress and supporting this vision. The next chapter starts now.

EmbeddedSystems EdgeComputing KernelDevelopment eBPF OpenSource Security ARM64 OperatingSystem QuantumSafe

24/07/2026

Another major milestone for HEQK – Hardened Edge Quantum-safe Kernel. 🚀

Today we reached another important checkpoint in the development of HEQK, our Rust-based microkernel built for secure edge computing, AI-native cybersecurity, and post-quantum resilience.

Our validation matrix now demonstrates successful implementation and testing of:

✅ Capability-based security model
✅ Userspace isolation and secure syscall boundary
✅ Synchronous IPC endpoints
✅ Zero-copy packet engine
✅ AI runtime with RFC 9669 BPF VM, verifier and JIT
✅ Raspberry Pi CM5 secure boot and attestation
✅ Detection plane with PREVAIL verifier, BPF JIT, NAPI and L2/L4/L7 processing
✅ Native RTL8111H PCIe networking
✅ CYW43455 Wi-Fi and Bluetooth support

The next phase focuses on expanding the operating system with:

* Device-class transport
* Capability-based publish/subscribe notifications
* RP1 peripheral buses (GPIO, I²C, SPI, UART)
* Additional secure services for distributed edge deployments

HEQK is designed from the ground up as a minimal, capability-based microkernel that combines high-performance networking, AI-powered threat detection, hardware-backed security, and a foundation for quantum-safe systems.

This isn’t another Linux distribution—it’s a purpose-built security kernel engineered specifically for the next generation of edge infrastructure.

Every milestone brings us one step closer to an open, verifiable, high-assurance operating system for cybersecurity.

The future of secure edge computing is being built one verified component at a time.

EmbeddedSystems ZeroTrust OpenSource KernelDevelopment PostQuantum RaspberryPi CapabilitySecurity AI BPF HookProbe

22/07/2026

Today we’re introducing HEQK — Hardened Edge Quantum-safe Kernel.

Not another Linux distribution.
Not another security agent.

HEQK is a Rust no_std microkernel built for security appliances where the operating system itself becomes the trusted enforcement layer.

Over the last months we’ve focused on one thing: proving every subsystem actually works. Every milestone is validated under QEMU, on real Raspberry Pi CM5 (BCM2712) hardware, or both.

Current validation status

✅ 30 core features implemented
✅ 21 features proven on physical CM5 silicon
✅ 17 features validated under QEMU
✅ Only 1 remaining hardware-gated milestone (external PCIe RC1)

Highlights include:

• Secure EL2→EL1 boot with exception containment
• Capability-based microkernel architecture inspired by seL4 principles
• Preemptive scheduler, MMU, isolated EL0 userspace and drivers
• Zero-copy packet engine with inline IPS enforcement
• RFC 9669 BPF virtual machine, verifier and W^X JIT
• Driver isolation with automatic restart after crashes
• EL1↔EL2 Stage-2 memory isolation
• Hybrid Ed25519 + SLH-DSA (FIPS 205) quantum-safe secure boot
• Hardware-rooted measured boot and device attestation
• Live kernel-native QSecBit scoring for real-time threat evaluation

One of the biggest milestones is that the operating system is no longer just hosting the IDS—it is the IDS.

Packet inspection, isolation, attestation and policy enforcement are part of the trusted computing base rather than applications running on top of a general-purpose OS.

The remaining P9 milestone is not a software issue but a hardware limitation: the external PCIe RC1 on the current CM5 platform does not train correctly, even under Linux, making it the only hardware-gated validation item.

This is still an internal project with no public repository yet, but we’re excited to share our progress as we continue building the security foundation behind the next generation of HookProbe.

EdgeSecurity QuantumSafe PostQuantumCryptography EmbeddedSystems KernelDevelopment RaspberryPi OpenSource

16/07/2026

One OS. Multiple Platforms. Purpose-Built Security Kernels.

Today marks another major milestone for HookProbe OS.

We’ve proven that a single operating system can seamlessly run across Raspberry Pi, Compute Module 5, x86, and other edge platforms while maintaining the same security architecture, AI detection pipeline, and management experience.

But portability wasn’t enough.

We built custom security-focused kernels with eBPF, BTF, PSI, conntrack, host EDR, and hardware-aware optimizations, giving every deployment the capabilities it needs without compromising performance or stability.

Our latest live-metal validation demonstrated:

* ✅ AI-powered NAPSE detection successfully identifying attack activity
* ✅ Custom eBPF enforcement active at the kernel level
* ✅ Host EDR running natively
* ✅ Intelligent management-plane separation to prevent accidental quarantine of trusted infrastructure
* ✅ The same HookProbe OS running consistently across multiple hardware platforms

This is the direction we believe cybersecurity should take: one codebase, one operating system, one experience—optimized for every edge device.

The future isn’t another appliance.

It’s an intelligent security operating system.

Open source. AI-native. Built for the edge.

https://github.com/hookprobe/hookprobe

OpenSource RaspberryPi x86 EDR NetworkSecurity AI KernelDevelopment SOC

08/07/2026

Security isn’t proven by demos. It’s proven by trying to break your own platform.

Over the past few days, we put HookProbe through a full pe*******on test against a live deployment.

The biggest win wasn’t that our detections fired—it was finding a legitimate networking bug, tracing it to the root cause, fixing the eBPF enforcement path, and validating the fix under the same attack conditions.

With the fix in place:

* ✅ Legitimate clients stayed connected.
* ✅ Layer-2 networking, DHCP, ARP, DNS and routing worked correctly.
* ✅ eBPF enforcement remained active throughout.
* ✅ SSH brute-force, port scans, stealth scans, reverse shells, privilege escalation and log tampering were all detected as expected.

Building security means continuously attacking your own assumptions. Every bug fixed makes HookProbe stronger.

Open source. AI-native. Built to be verified.

https://github.com/hookprobe/hookprobe

ThreatDetection Linux AI BlueTeam

30/06/2026

One operating system. Hookprobe OS

One codebase.

One user experience.

This development session is another step toward making that vision a reality.

The future of cybersecurity shouldn’t be another dashboard.

It should be an operating system.

AI SOC EdgeComputing Networking Kubernetes OpenvSwitch DevOps PlatformEngineering

we develop tools that reach the limit of AI . AI doesnt let us go above them . we are smarter!
09/06/2026

we develop tools that reach the limit of AI . AI doesnt let us go above them . we are smarter!

Address

Iasi

Telephone

+40724130455

Website

Alerts

Be the first to know and let us send you an email when Robobostes posts news and promotions. Your email address will not be used for any other purpose, and you can unsubscribe at any time.

Shortcuts

Share

Category