History log of /barrelfish-master/lib/skb/skb_snprintf.c
Revision Date Author Comments
# e078bcee 03-May-2017 Gerd Zellweger <mail@gerdzellweger.com>

Fix skb_snprintf uint64 parsing for the Pandaboard.

Make sure we parse 8 bytes instead of 4.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>


# cfad610f 20-Apr-2017 Gerd Zellweger <mail@gerdzellweger.com>

Added functionality in libskb to store and retrieve caps.

This uses a custom scanf and snprintf implementation
that has an additional format specifier (%Q) to
transparently load and store caps from and in the SKB.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>