Ivan-Velickovic

Pinned Repositories

libvmm
An experimental virtual machine monitor for the seL4 microkernel
Language:C29 19 3215
lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
Language:C94 19 2214
sddf
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Language:C23 9 3618
lionsos_wasm
Experimenting with WASM on LionsOS
Language:Rust10
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Python8 4 612
sDDF
seL4 Device Driver Framework
Language:C1 0 00
seL4
The seL4 microkernel
Language:C3 1 02
sel4_renode
Simulating seL4 projects with Renode
1 1 00
star64_sdcard
A script for building a microSD card image contains U-Boot/OpenSBI for the Pine64 Star64 SBC
Language:Shell2 1 01
microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Rust87 25 6348

Ivan-Velickovic's Repositories

Ivan-Velickovic/microkit
Microkit - A simple operating system framework for the seL4 microkernel
Language:Python8 4 612
Ivan-Velickovic/seL4
The seL4 microkernel
Language:C3 1 02
Ivan-Velickovic/lionsos_wasm
Experimenting with WASM on LionsOS
Language:Rust10
Ivan-Velickovic/sDDF
seL4 Device Driver Framework
Language:C1 0 00
Ivan-Velickovic/sel4_renode
Simulating seL4 projects with Renode
1 1 00
Ivan-Velickovic/capdl
Capability Distribution Language tools for seL4
Language:Haskell0 0
Ivan-Velickovic/ci-actions
CI GitHub actions for the seL4 repositories
Language:Python0 0
Ivan-Velickovic/device_trees
Scripts for dealing with Device Trees
Language:Shell
Ivan-Velickovic/docs
This is the source of the seL4 docs.
Language:C0 0
Ivan-Velickovic/dtb.zig
parse device tree blobs
Language:Zig0 01
Ivan-Velickovic/flash_uboot_odroidc4
Language:Shell1 01
Ivan-Velickovic/hugo-book
Hugo documentation theme as simple as plain book
Language:HTML0 0
Ivan-Velickovic/libmantle
Safe Austral APIs for your seL4 Core Platform projects.
Language:Python0 0
Ivan-Velickovic/microkit_zig_build
An example of using the Zig build system to build a seL4 Microkit system
Language:Zig1 0
Ivan-Velickovic/micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Language:C0 0
Ivan-Velickovic/nix_shell_test
Language:Nix1 0
Ivan-Velickovic/picolibc
picolibc - a C library designed for embedded 32- and 64- bit systems.
Language:C0 02
Ivan-Velickovic/riscv-barebones
Barebones RISC-V kernel template for Zig
Language:Zig0 0
Ivan-Velickovic/rust-seL4
Rust support for seL4 userspace
Language:Rust0 01
Ivan-Velickovic/seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Language:Shell0 0
Ivan-Velickovic/sel4-riscv-vmm-manifest
Manifest for building an experimental RISCV VMM
0 0
Ivan-Velickovic/seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
Language:C0 01
Ivan-Velickovic/sel4_riscv_clint_mtime_benchmarks
Language:Python1 0
Ivan-Velickovic/sel4_riscv_vmm
An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.
Language:C0 01
Ivan-Velickovic/seL4_tools
Basic tools for building seL4 projects
Language:C0 01
Ivan-Velickovic/sel4test
Test suite for seL4.
Language:C0 0
Ivan-Velickovic/u-boot
"Das U-Boot" Source Tree
Language:C0 0
Ivan-Velickovic/util_libs
Language:C0 0
Ivan-Velickovic/www.ziglang.org
Language:HTML0 0
Ivan-Velickovic/zig-doctest
A tool for testing snippets of code, useful for websites and books that talk about Zig.