Author Archives: daveti

About daveti

Interested in kernel hacking, compilers, machine learning and guitars.

Fedora 20 – some post installation issues may bother

Posted on February 6, 2014 by daveti

Even though Fedora wiki has posted some common issues after the system is upgraded into Fedora 20, interestingly, none of them applies the issues I have encountered:( Anyway, this post is for guys who may have a little bit chance … Continue reading →

Posted in Linux Distro | Tagged ddclient, fedora, fedup, kvm, Linux, nvidia, selinux, systemctl | 1 Comment

A paper review – seL4: Formal Verification of an OS kernel

Posted on December 12, 2013 by daveti

Paper review for – seL4: Formal Verification of an OS Kernel daveti@cs.uoregon.edu Dec 10, 2013 How could we guarantee the code we are running is right? Even after different and long-time testing, we have yet not been so sure that … Continue reading →

Posted in Embedded System, OS, Programming, Security | Tagged C, Haskell, HOL, Isabelle, seL4 | Leave a comment

cgpic – Calling GProlog in C

Posted on November 26, 2013 by daveti

Prolog is a straight-forward way to implement simple logic rules and do the query of the system. GProlog(gprolog) is the GNU version of Prolog implementation. To leverage the power of gprolog into our system code (C/C++), there are usually 2 … Continue reading →

Posted in AI/ML, Programming | Tagged C, gplc, gprolog | Leave a comment

Connect the Gumstix using minicom in Mac OS

Posted on November 5, 2013 by daveti

Gumstix.org has provided the most useful information for developers about gumstix development, though a little bit out dated. This post will show a real example for Mac OS (10.9) to connect with a gumstix (Overo+Palo35) using minicom. Have fun! 0. … Continue reading →

Posted in Embedded System | Tagged gumstix, Mac OS, minicom | Leave a comment

create Linux kernel proc entry – some good-to-know tricky stuffs

Posted on October 16, 2013 by daveti

It costs me 2 days to make a kernel module written few years ago back to work again. However, there is nothing fancy within the module except adding a new proc entry under /proc/sys/net/ipv4, which I would never know is … Continue reading →

Posted in OS, Programming | Tagged kernel, Linux, proc | 1 Comment

timer queue – a way to handle multiple timers using one thread

Posted on September 28, 2013 by daveti

This post introduces a general way to handle multiple timers using one thread using C. K.R.K.C. -daveti 1. what is timer? The essence of timer is eventually a thread (either Python or Java threads are actually mapped and executed as … Continue reading →

Posted in Programming | Tagged C, queue, thread, timer | 3 Comments

Something about dynamic lib – ldd, ld.so.conf, nm, dlsym()

Posted on September 2, 2013 by daveti

Dynamic lib may be the widely used mechanism for code reusing and memory saving, both for Windows and UNIX/Linux systems. To better understand the dynamic lib, we will try to fix the famous error during linking and investigate the symbols … Continue reading →

Posted in IDE_Make, Programming | Tagged dlsym, ld, ld.so.conf, ldconfig, ldd, nm | Leave a comment

Use POSIX regex in C

Posted on August 22, 2013 by daveti

There is no standard regex lib in glibc. However, almost all UNIXs, Linux and even Mac OS should support POSIX regex, which provides a way to do regex processing in C. Below is the real example under Linux. For Mac … Continue reading →

Posted in Programming | Tagged C, POSIX, regex | Leave a comment

Official Ubuntu Linux kernel build (with IMA enabled)

Posted on August 20, 2013 by daveti

As a branch of Debian, Ubuntu shares the same ideas on Linux kernel build, but with some difference. This post takes a great reference to the Ubuntu official wiki page on how to do kernel build. Moreover, we are going … Continue reading →

Posted in OS | Tagged IMA, kernel, Linux, Ubuntu | 3 Comments

Parallel PAM – a PAM implementation using Parallel Python