Specjalizacje
Powrót do korzeni
Od początku zajmujemy się obszarem niskopoziomowego oprogramowania i sprzętu.
SPECJALIZACJE
Software meets hardware
Pracujemy z najnowszymi, najbardziej wydajnymi procesorami. Często takimi, których jeszcze nie ma na rynku, bo dopiero są projektowane. Przygotowujemy nasz software na symulatorach lub wczesnych wersjach krzemu.
Doskonalimy fundamenty inżynierii i nauki komputerowej, które pozostają aktualne mimo upływu czasu i przemijających trendów.
Architektura
ARM. MIPS. PowerPC. RISC-V. x86.
Platforma
Firmware. Bootloader. Kernel. OS. Device drivers. Performance optimisations. Multicore. Virtualisation.
Środowisko
C. C++. Rust. GCC. LLVM. GIT.
Bezpieczeństwo
HSM. TPM. OpenTitan. IPsec. TLS / SSL.
Coreboot
Device drivers. Platform bringup and early initialization (FSP, MRC). Boot time optimisation. Power management. Hardware description (ACPI, Device Tree). Design verification, testing framework.
UEFI / EDK2
PEI and DXE drivers, libraries, protocols, shell applications. Runtime services, variables. Secure and measured boot. Hardware description (ACPI, SMBIOS, Device Tree). OS boot (GRUB, iPXE, FreeBSD loader). Compliance (BSA, BBR, SCT).
U-Boot
Device drivers. Platform bringup. Boot time optimisation. Device Tree. OS boot. Scripts, applications, variables. EFI interface.
TF-A
Aarch64 early initialization. Device drivers. Security (privilege levels, HSM, fTPM, TEE). Power management, PSCI. SiP services. BMC interface.
ChromeOS
Linux kernel. Device drivers, optimisations. WiFi. Virtualisation. Trusted Execution Environment. LTE support. Security (OpenTitan, fingerprinting). Android run-time. Chameleon (FPGA RTL).
FreeBSD
FreeBSD kernel. Device drivers, optimisations. Architecture bring-up (ARM, MIPS, PowerPC). Security (IPsec extensions, secure boot, TPM support). Network.
Linux
Kernel. Device drivers, optimisations. Architecture bring-up (ARM, x86). Power management. Network.
macOS
Darwin kernel. Device drivers (DriverKit, IOKit), optimisations. Network.
RTOS
FreeRTOS. TockOS. Zephyr.
High performance
10 / 25 / 40 / 50 / 100 / 400G
Data Plane Development Kit
DPDK. PMD. BBDEV.
User-space TCP/IP
Highly parallel, user-space, lockless, run-to-completion TCP/IP stacks. Performance optimisations. Network standards compliance.
SmartNIC
From-scratch design and implementation of packet processing platform. DMA, parser, editor, and offload engines. 100 / 200 / 400 Gbit/s. In-line acceleration.
Offloads
DPDK BBDEV. 5G LDPC acceleration.
Fast path
Acceleration of bridging, routing, NAT, QoS. Standards compliance (RFC 2544 etc.)
NIC Drivers
Linux drivers. FreeBSD drivers. Performance optimisations.
SDN
OpenContrail (Tungsten Fabric). L3VPN. MPLS. GRE. BGP.
FPGA Architecture
Xilinx Ultrascale, Intel Stratix, Achronix Speedster. AMBA, AXI, Avalon. Verilog, SystemVerilog.
Acceleration
Hardware offloading. Emulation. Algorithms acceleration (compression, coding etc.). Crypto acceleration. 5G LDPC offload.
Fast data movement
Multi-queue DMA. VirtIO Data Path Acceleration (vDPA). Storage Performance Development Kit (SPDK). PCI-Express. SERDES.
SmartNIC
10 / 25 / 100G Ethernet. Clock synchronisation (PTP / IEEE 1588). Tunnels. Flow classification (AntiDDoS, IDS / IPS). Offloads (checksum, parser, RSS).
IP design verification
Constrained Random Verification. Universal Verification Methodology (UVM). Assertion Based Verification.
FPGA-as-a-service
FPGA-based deployment in the cloud. Offload, acceleration. Integration, optimisations. AWS F1 environment.