Pages

▼
Saturday, May 27, 2023

عن العمل في المملكة المتحدة

›
في هذه المقالة أطرح بعض أشهر أنواع التأشيرات التي تتيح العمل والهجرة إلى المملكة المتحدة. تستهدف تلك المقالة العمال العرب الماهرين من خريجي ...
Saturday, May 6, 2023

عن الدراسة في المملكة المتحدة

›
  مقدمة في هذه المقالة ألخص خبرتي في الدراسة في المملكة المتحدة وأعطي بعض النصائح والآراء للراغبين في الدراسة هناك. هذه النصائح قائمة على خب...
Wednesday, July 18, 2018

New sel4test and sel4bench releases supporting SiFive's Unleashed Platform

›
In Brief: New features: A new option to run seL4 in machine mode. Ported seL4 to QEMU's SiFiveU and virt platforms. DTB parsin...
Friday, June 1, 2018

IPC Performance of seL4 microkernel on RISC-V Platforms

›
I managed to get Freedom Unleashed U500 and Boom synthesized on VC707 FPGA Board. This motivated me to port seL4 to run there and do some m...
Tuesday, October 31, 2017

RISC-V RTEMS port is Upstream

›
Introduction Having the RISC-V 's GCC and Binutils upstream, as well as the increasing popularity and support RISC-V is getting p...
Saturday, June 24, 2017

[Update] seL4/RISC-V SMP support | seL4/RISC-V Tutorials Release

›
Updates (since 03062017)   A new unofficial 24062017 release of seL4, libraries and seL4 Tutorials. SMP support, tested on Spike w...
1 comment:
Saturday, June 3, 2017

sel4test/RISC-V unofficial release - priv-1.10 - spec-2.3

›
Major updates since 2015 - It's now based on seL4's master (rather than experimental) branch, which means it makes use of archi...