Skip to content

Instantly share code, notes, and snippets.

View gerito1's full-sized avatar
😝
Narp?

gerito1

😝
Narp?
View GitHub Profile
@gerito1
gerito1 / OS161_set-up.md
Last active December 29, 2020 19:42
A simple guide to have running the os161 kernel in Arch Linux

A simple guide to have running the os161 kernel in Arch Linux

This are some notes for the course OS 161 from ops-class.org (based on the OS 161 course from Harvard).

Getting started

You will need some tools. A nice Text Editor or a fancy IDE for C, I usually go for gedit, or sometimes vim.

Then you will need to install all the toolchain, the simulator for the course plus some other tools.

@gerito1
gerito1 / test.vala
Last active October 20, 2016 14:47
// modules: Gtk
// compile: valac --pkg gtk+-3.0 test.vala
using Gtk;
public class TextFileViewer : Window {
private string input1 = "line 1 column 2 - Error: lalala\n"+
"line 96 column 81 - Warning: inserting implicit <p>\n"+
"line 134 column 1 - Warning: inserting implicit <p>\n"+
def get_latest_os_info():
debugger("Downloading latest OS information")
# we put everything in a try block as urlopen raises URLError
try:
# get latest.json from download.kano.me
response = urllib2.urlopen(LATEST_OS_INFO_URL)
latest_json = json.load(response)
print latest_json
# give the server some time to breathe between requests
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
fonts-dejavu fonts-sil-gentium fonts-sil-gentium-basic
libfreerdp-plugins-standard libreoffice-report-builder-bin libvncserver0
remmina-common
Use 'apt-get autoremove' to remove them.
The following extra packages will be installed:
icedtea-netx icedtea-netx-common