Update ada-runtime, rename init to core/linux #167

jklmnn · 2020-04-24T21:38:37Z

Before releasing this version we should update the Ada runtime to the latest release.

Also as discussed offline the current init will be moved to core/linux. core will contain kernels, core components etc. of different platforms.

The text was updated successfully, but these errors were encountered:

jklmnn · 2020-05-19T14:00:54Z

Fixed by #173.

jklmnn added a commit that referenced this issue Apr 24, 2020

Move init to src/core/linux, rename init to core

427f2e0

ref #167

jklmnn added a commit that referenced this issue Apr 29, 2020

Fix broken Genode test

44f32fe

ref #164 #167

jklmnn added a commit that referenced this issue May 12, 2020

Fix broken Genode test

324c6c9

ref #164 #167

jklmnn added a commit that referenced this issue May 12, 2020

Update ada-runtime to 1.2.1

2252f14

ref #167

jklmnn added a commit that referenced this issue May 19, 2020

Move init to src/core/linux, rename init to core

fc827d6

ref #167

jklmnn added a commit that referenced this issue May 19, 2020

Fix broken Genode test

e74372c

ref #164 #167

jklmnn added a commit that referenced this issue May 19, 2020

Update ada-runtime to 1.2.1

8439646

ref #167

jklmnn closed this as completed May 19, 2020

jklmnn added a commit that referenced this issue May 20, 2020

Move init to src/core/linux, rename init to core

045ad1a

ref #167

jklmnn added a commit that referenced this issue May 20, 2020

Fix broken Genode test

6ce6260

ref #164 #167

jklmnn added a commit that referenced this issue May 20, 2020

Update ada-runtime to 1.2.1

6d0c247

ref #167

Provide feedback