Skip to content

Instantly share code, notes, and snippets.

@protoben
protoben / gist:643362906a3bc6e339b41b279908b595
Created December 7, 2022 21:56
Nix Shell for SeL4 Tutorials
{ pkgs ? import <nixpkgs> {} }:
let
myPython = pkgs.python38.buildEnv.override {
extraLibs = with pkgs.python38Packages; [
aenum
pyelftools
sh
jinja2
six
@startuml
cloud "Orange_To_Green" {
interface gpsPosition
}
cloud "Green_To_Orange" {
interface distance
interface trackPosition
}
@protoben
protoben / gaps_channel_setup.c
Created February 22, 2020 01:19
Simple setup implementation
#include <libpirate/primitives.h>
#include <linux/limits.h>
#include <stdlib.h>
#include <string.h>
#include "gaps_resources.h"
// ^ declares resource and resource_parameter structs, as well as communication
// functions gaps_request_resource() and gaps_signal_failure()
extern struct gaps_resource *__gaps_channel_gaps_resources;
galois@ubuntu1804-bionic:~/gaps-run/src$ cat foo.c
#include "libfoo.h"
int foo;
int main(void) {
foo = 9001;
pfoo();
return 0;
# Less Colors for Man Pages
export LESS_TERMCAP_mb=$(tput setaf 208) # begin blinking
export LESS_TERMCAP_md=$(tput bold; tput setaf 140) # begin bold
export LESS_TERMCAP_me=$(tput sgr0) # end mode
export LESS_TERMCAP_se=$(tput sgr0) # end standout-mode
export LESS_TERMCAP_so=$(tput smso; tput setaf 50) # begin standout-mode - info box
export LESS_TERMCAP_ue=$(tput rmul) # end underline
export LESS_TERMCAP_us=$(tput smul; tput setaf 198) # begin underline
@protoben
protoben / s2e-qemu-build-failure.txt
Created March 10, 2017 23:06
s2e qemu build failure with GCC 5.4.0 on Xenial
CXX i386-s2e-softmmu/tcg/tcg-llvm.o
In file included from /home/hamlinb/netrecon/s2e/s2e/qemu/tcg/tcg-llvm.cpp:72:
In file included from /home/hamlinb/netrecon/s2e/build/llvm-3.2.src/include/llvm/DerivedTypes.h:21:
In file included from /home/hamlinb/netrecon/s2e/build/llvm-3.2.src/include/llvm/Type.h:18:
In file included from /home/hamlinb/netrecon/s2e/build/llvm-3.2.src/include/llvm/Support/Casting.h:18:
In file included from /home/hamlinb/netrecon/s2e/build/llvm-3.2.src/include/llvm/Support/type_traits.h:20:
In file included from /home/hamlinb/netrecon/s2e/build/llvm-release/include/llvm/Support/DataTypes.h:37:
In file included from /usr/lib/gcc/x86_64-linux-gnu/5.4.0/../../../../include/c++/5.4.0/cmath:40:
/usr/include/bits/c++config.h:218:10: error: expected unqualified-id
inline namespace __cxx11 __attribute__((__abi_tag__ ("cxx11"))) { }