Sep 232012
 

The biggest confusion that I had when getting this to work is that you can only manipulate the UEFI boot loader when booted in UEFI mode. Since my existing Debian installation, as well as the installer CD booted in BIOS emulation mode, I failed to set up the boot loader at first. Key is the efi shell, which I can conveniently access on my ASUS motherboard by hitting Exit in the EZ mode to get to the Advanced mode, then hitting Exit again.

Links

Update: For proper kernel configuration, see [https://www.kernel.org/doc/Documentation/x86/x86_64/uefi.txt] . Starting with 3.7 I had no kernel output any more without these settings.

Sep 052012
 

Install Go

http://golang.org/doc/install/source or http://code.google.com/p/go/downloads/list

Sources is basically:

hg clone -u release https://code.google.com/p/go
cd go/src && ./all.bash
export GOROOT=.../go
# see http://stackoverflow.com/questions/7970390/what-should-be-the-values-of-gopath-and-goroot
export GOBIN=$GOROOT/bin
export PATH=$PATH:$GOBIN

Extras

go get -u github.com/nsf/gocode

Dependencies

# make sure you have sdl library + headers installed
apt-get install libsdl1.2-dev libsdl-mixer1.2-dev libsdl-image1.2-dev libsdl-ttf2.0-dev
# install the go library
go get -v github.com/0xe2-0x9a-0x9b/Go-SDL/...

Documentation

http://www.libsdl.org/cgi/docwiki.cgi/SDL_API_by_name

 

Latex test: l(t) = s + t*d