Skip to content

Instantly share code, notes, and snippets.

View fosslinux's full-sized avatar

Samuel Tyler fosslinux

43 followers · 20 following
View GitHub Profile
@fosslinux
fosslinux / debian-bootstrap-v1.md
Created November 12, 2025 07:44
  • fedora -> debian bootstrap (v1)
    • setup apt
      • dnf group install development-tools
      • dnf install dpkg apt dpkg-dev autoconf automake
      • sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 6ED0E7B82643E131 78DBA3BC47EF2265 (TODO change this to /etc/apt/trusted.gpg.d/)
        • sudo dnf install debian-keyring alternative
    • binfmt emulation
      • sudo dnf install qemu-static-user
    • make apt-sources dir for sources to live in
    • equivs
@fosslinux
fosslinux / conv.py
Last active October 3, 2021 23:41
#!/usr/bin/python3
import sys
import os
import re
import io
import requests
import json
import io
import html
@fosslinux
fosslinux / sel4-test.sh
Created September 27, 2021 08:29
Minimal example of new project not working
#!/bin/sh
mkdir -p sel4-project/projects
cd sel4-project
git clone https://github.com/sel4/sel4 kernel
git clone https://github.com/seL4/seL4_libs projects/seL4_libs
git clone https://github.com/seL4/seL4_tools tools
ln -s tools/cmake-tool/default-CMakeLists.txt ./CMakeLists.txt
ln -s tools/cmake-tool/init-build.sh .