Mohammad Noureddine nouredd2

To filter out all of the unrelated files, we can generate cscope.files using find as follows

find ./src ./include -type f \( -name "*.cpp" -o -name "*.h" -o -name "*.c" \) -print > cscope.files

This will search for all .cpp, .h, and .c files in the src/ directory and dump them into a cscope.files files.

Next to gerenate the cscope database and referesh it, use

cscope -C -b -q -k

Introduction to ssh X forwarding and kvm

The goal of this gist is to provide an introduction to setting up port forwarding on your machine, and create a virtual machine on the loki server. To start off, let's make it easier for us to access the server using some ssh configuration tricks.

The contents of this documents are:

Changing ssh config for easy access
Enabling X forwarding
Creating and Installing a virtual machine

Download the Ubuntu server image

Introduction to Linux kernel building

The goal of this gist is to introduce you to building your first Linux kernel and installing it on an Ubuntu Linux virtual machine.

Prerequisites

We assume the presence of the following tools:

Access to a Linux machine to build the kernel
- On this machine, install the following packages (assuming it's an Ubuntu machine):

sudo apt install libncurses5-dev gcc make git exuberant-ctags bc libssl-dev

	#!/usr/bin/env bash

	# <script_name> v1.0
	#
	# <TODO: Add script description.>
	#
	# Author: Mohammad Noureddine <[email protected]>
	# Late modified:
	#

	\newcommand{\Fix}[1]{\textcolor{red}{[#1]}}

	\newcommand{\CodeIn}[1]{{\small \texttt{#1}}}
	\newcommand{\CI}[1]{\CodeIn{#1}}

	\newcommand{\PP}[1]{\noindent {\bf #1}}
	\newcommand{\ie}{i.e.,\xspace}
	\newcommand{\eg}{e.g.,\xspace}
	\newcommand{\latex}{\LaTeX\xspace}

	{
	// Use IntelliSense to learn about possible attributes.
	// Hover to view descriptions of existing attributes.
	// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
	"version": "0.2.0",
	"configurations": [
	{
	"name": "simpleshell debug",
	"type": "cppdbg",
	"request": "launch",

	{
	"configurations": [
	{
	"name": "Linux",
	"browse": {
	"path":[
	"/usr/include",
	"/usr/local/include",
	"/usr/src/linux-headers-5.8.0-41-generic/include",
	"/usr/src/linux-headers-5.8.0-41-generic/arch/x86/include/",

	# "Improved" Makefile for LaTeX documents
	# INTPUFILE This defines the name of the file you want to latex
	# the make file will automatically look for INPUT.tex as the latex file

	# check if main file name is in .latexmain, if not, ask for it and save it.
	MAINFILE := $(shell if [ -f .latexmain ]; then cat .latexmain; else read -p "Enter main tex file name: " name; echo $$name > .latexmain; cat .latexmain; fi)
	INPUTFILE := $(shell basename -s .tex $(MAINFILE))
	OTHERFILES := $(shell find . -name '*.tex' -not -name $(MAINFILE))

	LMK_FLAGS := -output-directory=./build/ -pdf -pdflatex="pdflatex -synctex=1"

	\newcommand{\Sys}{\textsc{P4aig}\xspace}

	\newcommand{\Fix}[1]{\textcolor{red}{[#1]}}
	\newcommand{\pfour}{\texttt{P4}\xspace}

	\newcommand{\CodeIn}[1]{{\small \texttt{#1}}}
	\newcommand{\PP}[1]{\noindent {\bf #1}}
	\newcommand{\ie}{i.e.,\xspace}

	% for drawing the colored circles to mention the figure

	set -g default-terminal "screen-256color"
	set -g mode-keys vi
	set-option -g default-shell /usr/local/bin/zsh

	set -g prefix C-q
	unbind C-a
	bind C-q send-prefix

	# vim splits like switching
	bind h select-pane -L