Profile

Cover photo
Patrick Georgi
45,246 views
AboutPosts

Stream

Patrick Georgi

Shared publicly  - 
 
end-to-end timestamps with upstream coreboot:


35 entries total:

   5:start of verified boot                            100,828
 503:starting to initialize TPM                        119,012 (18,184)
 504:finished TPM initialization                       264,424 (145,412)
 505:starting to verify keyblock/preamble (RSA)        297,380 (32,956)
 506:finished verifying keyblock/preamble (RSA)        1,328,280 (1,030,900)
 507:starting to verify body (load+SHA2+RSA)           1,343,982 (15,702)
 508:finished loading body (ignore for x86)            1,423,835 (79,853)
 509:finished calculating body hash (SHA2)             1,435,492 (11,657)
 510:finished verifying body signature (RSA)           1,621,916 (186,424)
   6:end of verified boot                              1,661,076 (39,160)
  13:starting to load romstage                         1,668,254 (7,178)
  14:finished loading romstage                         1,679,488 (11,234)
   1:start of rom stage                                1,679,736 (248)
   2:before ram initialization                         1,687,212 (7,476)
   3:after ram initialization                          1,705,885 (18,673)
   4:end of romstage                                   1,730,844 (24,959)
   8:starting to load ramstage                         1,748,614 (17,770)
   9:finished loading ramstage                         1,776,094 (27,480)
  10:start of ramstage                                 1,786,150 (10,056)
  30:device enumeration                                1,793,373 (7,223)
  40:device configuration                              1,831,410 (38,037)
  50:device enable                                     1,886,772 (55,362)
  60:device initialization                             1,894,174 (7,402)
  70:device setup done                                 2,254,087 (359,913)
  75:cbmem post                                        2,258,958 (4,871)
  80:write tables                                      2,263,915 (4,957)
  90:load payload                                      2,332,302 (68,387)
  15:starting LZMA decompress (ignore for x86)         2,415,827 (83,525)
  16:finished LZMA decompress (ignore for x86)         2,508,454 (92,627)
  99:selfboot jump                                     2,536,690 (28,236)
1000:depthcharge start                                 2,551,943 (15,253)
1002:RO vboot init                                     2,551,956 (13)
1020:vboot select&load kernel                          2,823,467 (271,511)
1100:crossystem data                                   5,725,888 (2,902,421)
1101:start kernel                                      6,091,416 (365,528)
3
Add a comment...

Patrick Georgi

Shared publicly  - 
 
gertty, a console tool for gerrit. Let's see how it fares in terms of usability... (https://git.openstack.org/cgit/stackforge/gertty/tree/README.rst)
2
1
Vadim Bendebury's profile photoPatrick Georgi's profile photoAdrian Marius Popa's profile photo
4 comments
 
Learn something new every day. Thanks!

It also compares well to the others. gertty is slow and has an odd user interaction model, and the other two tools exist mostly to support with pushing changes.
Add a comment...

Patrick Georgi

Shared publicly  - 
 
FizzBuzz for designers (in pure CSS3): http://www.boogdesign.com/examples/css3/fizzbuzz.html
FizzBuzz implemented with CSS generated content and nth child selectors. Known to work in Firefox 3.5, Safari 4.0, Opera 10.10 and Chrome 4.0.
1
Add a comment...

Patrick Georgi

Shared publicly  - 
 
Buchpreisbindung für E-Books. Dabei kann man die doch gar nicht kaufen, nur lizenzieren? kopfkratz
 ·  Translate
1
Add a comment...

Patrick Georgi

Shared publicly  - 
 
Interessantes coreboot Profil im Deutschlandfunk
 ·  Translate
Bei Computer-Software ohne Produkte von US-Firmen auszukommen ist schwer. Denn bevor freie Betriebssysteme greifen, macht im Normalfall eine nicht-quelloffene Software den Computer überhaupt erst betriebsbereit: das BIOS – aus den USA und damit ein mögliches Einfallstor für Spionage. Doch es gibt auch zu BIOS eine Alternative: Coreboot.
3
Add a comment...

Patrick Georgi

Shared publicly  - 
9
Add a comment...

Patrick Georgi

Shared publicly  - 
 
Soziologen befassen sich mit "Big Data".
 ·  Translate
Videostreaming: ksw - Wissenschaftsgespäche - „Big Data: ‚Neue Taxonomien in Forschung und Alltag‘“
1
Add a comment...

Patrick Georgi

Shared publicly  - 
 
 
p-hacking,  where P(winning) = 1 - (1 - p)n, or how to fiddle results. 
 
“Slim by Chocolate!” the headlines blared. A team of German researchers had found that people on a low-carb diet lost weight 10 percent faster if they ate a chocolate bar every day. It made the front page of Bild, Europe’s largest daily newspaper, just beneath their update about the Germanwings crash. From there, it ricocheted around the internet and beyond, making news in more than 20 countries and half a dozen languages. It was discussed on tel...
1 comment on original post
1
1
John Lewis's profile photo
Add a comment...

Patrick Georgi

Shared publicly  - 
 
Some variety for +ron minnich 's collection. (supposedly in a grocery store)
The Internet's visual storytelling community. Explore, share, and discuss the best visual stories the Internet has to offer.
1
Add a comment...

Patrick Georgi

Shared publicly  - 
 
Those are some powerful automated proofs.
Probably not too fancy for scientists who work on such stuff for years, but I'm glad to see they're now stepping up to share that power with mere coders like me.
Home · About SPARK 2014 · Proof in Use · Resources · Contributors. Categories. Language · Formal Verification · Design Method · Certification · Open Source · Events · News · Papers and Slides · Videos · GNATprove Tips and Tricks: Bitwise Operations. by Clément Fumex in Formal Verification ...
4
Torsten Meißner's profile photo
 
It's also good to see, that you can use Spark with the embedded compiler targeting the ARM Cortex-M series. There was a nice talk about this @ FOSDEM.
Add a comment...

Patrick Georgi

Shared publicly  - 
 
Let's see if that gets merged into gerrit (and released) in time for Google login using coreboot contributors to have a chance to migrate their accounts.
[plugin "gerrit-oauth-provider-google-oauth"] client-id = "" client-secret = "" link-to-existing-openid-accounts = true. * Preserve auth.type = OPENID in $gerrit_site/etc/gerrit.config. * Observe that LoginForm offers Google OAuth2 provider: [1]. * Sign in using this link ...
2
Add a comment...

Patrick Georgi

Shared publicly  - 
 
coreboot made it to mainstream tech media
 
An overview of Intel Boot Guard.
The UEFI firmware that boots up your PC is a closed, proprietary blob of code—and you can't change it out even if you wanted to. Here's why.
2 comments on original post
2
2
Adrian Marius Popa's profile photoMathias Krause's profile photo
Add a comment...
Story
Tagline
polymath in training
Work
Occupation
solving problems at the hardware/software boundary