Repositories list

• l41-image

  Public
  RPI4 sdcard Image scripts

  Shell

  •1•0•0•0•Updated Jan 29, 2024Jan 29, 2024

• advopsys-packages

  Public
  Stock and local package files for use on Advanced Operating Systems student machines

  Forth

  •0•0•0•0•Updated Nov 14, 2023Nov 14, 2023

• l41-ports-overlay

  Public
  Makefile

  •0•0•0•0•Updated Jan 27, 2023Jan 27, 2023

• l41-python-dtrace

  Public
  A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...

  Python

  •

  MIT License

  •21•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• pyflamegraph

  Public
  A python module to plot flamegraphs via matplotlib

  Python

  •

  Other

  •1•0•0•0•Updated Jan 13, 2023Jan 13, 2023

• cam-power-uart-hat

  Public
  A serial console and power switching hat for the Raspberry Pi

  Other

  •0•0•0•0•Updated Jan 18, 2022Jan 18, 2022

• l41-freebsd

  Public
  L41 adaptation of FreeBSD for use on the RPi4

  1•1•0•0•Updated Jan 1, 2022Jan 1, 2022

• freebsd-ports

  Public
  FreeBSD ports tree

  Other

  •754•0•0•0•Updated Feb 28, 2017Feb 28, 2017

• crochet

  Public
  Build FreeBSD images for RaspberryPi, BeagleBone, PandaBoard, and others.

  C

  •

  BSD 2-Clause "Simplified" License

  •189•0•0•0•Updated Oct 25, 2016Oct 25, 2016

• old-freebsd-bbb

  Public
  FreeBSD src tree

  C

  •

  Other

  •2.9k•0•0•0•Updated Sep 18, 2016Sep 18, 2016