Skip to content

@bolthur Bolthur

Change the repository type filter

All

    Repositories list

    10 repositories

    • kernel

      Public
      bolthur kernel source
      casmosdevmicrokernelkernel
      C
      •
      GNU General Public License v3.0
      •1•6•24•1•Updated Jul 21, 2025Jul 21, 2025

    • bfs

      Public
      bolthur filesystem library collection
      clibraryfat16fatfat32
      C
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jun 6, 2024Jun 6, 2024

    • bootstrap

      Public
      Stuff to build necessary tools for bolthur
      shell-scriptsbuild-toolsbuild-scripts
      Python
      •
      GNU General Public License v3.0
      •1•0•4•1•Updated May 23, 2023May 23, 2023

    • bosl

      Public
      bolthur scripting language
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 30, 2022Apr 30, 2022

    • dtc

      Public
      Device Tree Compiler
      C
      •143•0•0•0•Updated Nov 6, 2021Nov 6, 2021

    • libc

      Public
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 20, 2020Nov 20, 2020

    • serial-loader

      Public
      serial loader for development purposes
      cloaderosdevarmv7serial-communicationmini-kernel
      C
      •
      GNU General Public License v3.0
      •1•0•4•1•Updated Apr 27, 2020Apr 27, 2020

    • serial-communicator

      Public
      serial communicator for sending kernel via serial-loader
      cosdevsenderserial-communication
      C
      •
      GNU General Public License v3.0
      •1•0•5•1•Updated Apr 27, 2020Apr 27, 2020

    • library

      Public
      Library repository
      GNU General Public License v3.0
      •1•0•0•0•Updated Dec 28, 2019Dec 28, 2019

    • driver

      Public
      driver repository
      GNU General Public License v3.0
      •1•0•0•0•Updated Dec 28, 2019Dec 28, 2019