Changeset 399ccd9 in mainline for arch/ia32/src/ia32.c

Timestamp:

2005-09-01T16:52:26Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

38207b9

Parents:

5dce48b9

Message:

Add missing header into kinit.c.

Do not use PA2KA() on dst_ptl0.

(No files)