GSoC 2012 - 32 bit API for 64 bit kernel

[Ivan Sichmann Freitas]

--x+6KMIRAuhnl3hBn
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Hi,

I'm a computer engineering student at Unicamp (brazilian university),
interested in compilers and computer architecture (and most low level
stuff), and the idea of implementing the ABI for running 32 bit
applications on a 64 bit kernel seems interesting and challenging.

I have moderated knowledge of C, OS principles and Linux systems, some
experience with FreeBSD, I've already cloned dragonfly's git repository
and I'm studying the code to come with a planned roadmap of what would
be my work in gsoc. You can find me with the username ISF in github and
IRC networks (efnet, freenode and oftc).

Any feedback would be welcome.

--=20
Ivan Sichmann Freitas
GNU/Linux user #509059

--x+6KMIRAuhnl3hBn
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: PGP signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBAgAGBQJPap8XAAoJEFM7yh3+vhFASnQP/3wpKCTTn3on77n8cqHy2avK
pFZqNJWZFNjP4oVZEqBMygiowe5D1wsaPe5oeqMq+6f3XxxiGL2ND+F2WF50L4cQ
JuVnRW3DCcVcvHuKASDzG8o6Fc2+4I7NcW9RTqbUhwolWoRF8zcGntNEMp6Wc+c7
LcJrMUXrOuT/5+PvPJ3r3kUcpbh4gKE8Ujrii9ueUm63Quf8axggGpaP2dHjPCLB
FXcXuH6qD8jl3MrxBUYrw4DkL176RnFYknbmpUFNjeOUc2DdtRHIPXpvLkIhKmUV
GYHhQjWBSpMGmACrQXUSidwoOgC1I+rtfjqLkOr0cICY/MiZ3hk0UYHArfvelogT
aK/RS8h7T1Kz7k9FJB5b/LW2377eUcMbx9xXH45SWBq7bKaahN3PjmhNZzOqTmLS
MPSlngOGC8E8vBizbkUx5nRGtEFD38ahfePWsPRsbxfl13m53Oj/hTFxcSVMdU2M
p0BGKBT1PeVX1G2gE8f21QJKH2pNSWz2F4j5FHJteHl1gwzKbBV9OuusNc37b3eM
D+wzGEw2D9RLw+MFceM7+m2qe9PEszPt9zCE7WL5va7AplO5jN3zq6xhNXzgcwan
fEsycpC3RNOMQPjy6t1hbaeCkK50oBkJwpaM6ux2rQRB0s3ssh1uyDFuVccuFhS2
XoCmxFyNGoIzFRFGHBQJ
=un3u
-----END PGP SIGNATURE-----

--x+6KMIRAuhnl3hBn--